Miten Mistry, Andrea Callia D'Iddio, Michael Huth, Ruth Misener. Satisfiability modulo theories for process systems engineering. Computers & Chemical Engineering, 113:98-114, 2018. [doi]
@article{MistryDHM18,
title = {Satisfiability modulo theories for process systems engineering},
author = {Miten Mistry and Andrea Callia D'Iddio and Michael Huth and Ruth Misener},
year = {2018},
doi = {10.1016/j.compchemeng.2018.03.004},
url = {https://doi.org/10.1016/j.compchemeng.2018.03.004},
researchr = {https://researchr.org/publication/MistryDHM18},
cites = {0},
citedby = {0},
journal = {Computers & Chemical Engineering},
volume = {113},
pages = {98-114},
}