SATALIA

SATALIA - logo & Logotype design

The name Satalia is made up of two parts; ‘SAT’ which refers to Boolean Satisfiability; and ‘ALIA’ from the Latin phrase ‘et alia‘ (often abbreviated to ‘et al’) meaning ‘and others’. So SATALIA means ‘Boolean Satisfiability and others’ and describes our core product — the SolveEngine — that harnesses a wide range of optimisation algorithms from academia and industry (such as SAT, OPB, LP, SMT, MZN, AMPL, GAMS, GMPL, CSP, etc). The SolveEngine exists to be a conduit for state-of-the-art optimisation algorithms into the industry and to enable academics to realise the value of their innovations. A SAT problem asks whether a given Boolean formula can be made true; (a V b V ¬c) Λ (d V ¬a) Λ (a V ¬b V d) Λ (¬a). All optimisation problems can be reduced to a special form of SAT called 3-SAT, where each clause has exactly three literals; (a V b V ¬c) Λ (c V d V ¬a) Λ (a V ¬b V d). Satalia’s logo makes reference to 3-SAT; (S A T) Λ (L I A), with three letters on either side the Λ; the Greek letter Lambda, meaning AND.

SATALIA: Love solving hard (NP-Complete) problems and use many algorithms (boolean satisfiability and others) to ensure solutions are better than anything else on the market.