Imperial College London
Portrait Picture

ProfessorRuthMisener

Faculty of Engineering, Department of Computing

Professor in Computational Optimisation
 
 
 
//

Contact

 

+44 (0)20 7594 8315r.misener Website CV

 
 
//

Location

 

379Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Mistry:2018:10.1016/j.compchemeng.2018.03.004,
author = {Mistry, M and Callia, D'Iddio A and Huth, MRA and Misener, R},
doi = {10.1016/j.compchemeng.2018.03.004},
journal = {Computers and Chemical Engineering},
pages = {98--114},
title = {Satisfiability modulo theories for process systems engineering},
url = {http://dx.doi.org/10.1016/j.compchemeng.2018.03.004},
volume = {113},
year = {2018}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - Process systems engineers have long recognized the importance of both logic and optimization for automated decision-making. But modern challenges in process systems engineering could strongly benefit from methodological contributions in computer science. In particular, we propose satisfiability modulo theories (SMT) for process systems engineering applications. We motivate SMT using a series of test beds and show the applicability of SMT algorithms and implementations on (i) two-dimensional bin packing, (ii) model explainers, and (iii) MINLP solvers.
AU  - Mistry,M
AU  - Callia,D'Iddio A
AU  - Huth,MRA
AU  - Misener,R
DO  - 10.1016/j.compchemeng.2018.03.004
EP  - 114
PY  - 2018///
SN  - 1873-4375
SP  - 98
TI  - Satisfiability modulo theories for process systems engineering
T2  - Computers and Chemical Engineering
UR  - http://dx.doi.org/10.1016/j.compchemeng.2018.03.004
UR  - http://hdl.handle.net/10044/1/57856
VL  - 113
ER  -
Download