Satisfiability Modulo Theories for Process Systems Engineering 2018 (1) Miten Mistry, Andrea Callia D’Iddio, Michael Huth, Ruth Misener, Satisfiability modulo theories for process systems engineering , Computers & Chemical Engineering , volume 113, pp.98 - 114, 2018,
