Technology

Organizations spend significant amounts of time and money developing and managing solutions to complex optimization problems. As scale and complexity increases, these problems need higher proportions of organizational resources to solve. Satalia is the first company to offer Optimization-as-a-Service.

Our SolveEngine utilizes expertise in several different areas of Computer Science, including machine learning, optimization and high performance distributed compute management. Our foundational technology is problem complexity reduction through the best selection of proprietary encodings, preprocessors and algorithms.

Satalia solves a range of problems:

• SAT - Boolean Satisfiability: The Boolean Satisfiability problem is the 'mother' of all NP-Complete problems, represented in DIMACS CNF format

• CSP - Constraint Satisfaction: Constraint Satisfaction problems have a natural expression and are formatted as XCSP

• SMT - Satisfiability Modulo Theory: Satisfiability Modulo Theory algorithms are becoming quickly adopted because of their expressiveness and power

• AIG - And-Inverter Graph: AIG problems, solved by And-Inverter Graph algorithms in AIGER format

• LP, NLP, MIP – Linear, Nonlinear and Mixed Integer Programming represented in various formats, including AMPL, GAMS, MPS, NL

The core technology was developed in the Computer Science Department at University College London. This technology allows Satalia to deliver its optimization solutions faster and better. Satalia is a leading 'solve' company that has built a state-of-the-art SolveEngine, accessible via our API, Web-Portal and stand-alone appliances. We combine techniques from the fields of Propositional Satisfiability, Constraint Satisfaction, Operations Research, Graph Theory, Machine Learning, Software Engineering and Distributed Computing, creating a powerful SolveEngine easily accessed via a simple to use API and Web-Portal.

Satalia makes use of the immense processing power of the Cloud. Satalia's SolveEngine substantially reduces solution times when compared to traditional solvers. With its strong academic technical team, Satalia will continue to evolve to maintain its position as a world leading optimisation engine. Satalia can be used to solve a variety of mathematical optimisation problems directly, and we are happy to discuss with you how we might integrate into your specific business processes.

Satalia Summary

• Satalia provides automated Optimization-as-a-Service, we are a central hub for all your optimization needs.
• Send Satalia an optimization problem (via Email, our API or Web-Portal), it gets solved and the answer is sent back. Simple.
• Satalia's automated SolveEngine smartly utilizes cutting-edge algorithms and techniques, all running on public or private clouds.
• Satalia's team stays up-to-date with the latest innovations in optimization to ensure that you are always solving your problems optimally.
• Satalia's unique technology intelligently chooses the best methods to solve your optimization problems efficiently and effectively.
• Satalia's SolveEngine can be installed to run locally on your data-center, or hosted in the cloud (such as Fujitsu GCP, Amazon EC2, Terremark, Rackspace)
• Satalia solves Discrete, Constraint/Boolean Satisfaction, Linear, Nonlinear, Mixed-Integer Programming and many other optimization problems.
• Satalia accepts algorithmic formats, including SAT (CNF), CSP (XCSP), AIG, SMT, AMPL, MPS, GAMS and NL
• Satalia takes the complexity out of solving optimization problems, making the process simple, seamless and transparent.
• Satalia has flexible payment methods, including Pay-per-Problem, Pay-per-Solvetime, Monthly and Annual Licences.
• Find out how to solve your critical business processes optimally, Contact us now to speak to a team member and trial our SolveEngine for free.