![](/img/cover-not-exists.png)
Satisfiability Modulo Theories for Process Systems Engineering
Mistry, Miten, D’Iddio, Andrea Callia, Huth, Michael, Misener, RuthLanguage:
english
Journal:
Computers & Chemical Engineering
DOI:
10.1016/j.compchemeng.2018.03.004
Date:
March, 2018
File:
PDF, 921 KB
english, 2018