Satalia is a spin-out company from UCL’s Department of Computer Science that is changing the way in which complex optimisation problems are solved. Satalia solves problems in industries ranging from Aerospace, Defence, Security, Semiconductors, Internet and Bioinformatics that can today benefit from improved solving power within their existing business tools. Satalia’s core technology is its ‘SolveEngine’ which currently specializes in solving SAT, SMT and CSP optimization problems. The SolveEngine is an automated pipeline that includes state-of-the-art proprietary techniques in problem encoding, preprocessing, algorithms, machine learning and compute management, all running on a public or private cloud.