.png){kind=icon}
.png){kind=icon}
Return
Satisfiability modulo theories for process systems engineering
.png){kind=icon}
OA
AI
DOI：10.1016/j.compchemeng.2018.03.004.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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) mixed-integer nonlinear optimization solvers. (C) 2018 The Authors. Published by Elsevier Ltd.
Keywords:
Satisfiability modulo theories
Mixed-integer optimization
Generalized disjunctive programming
Mixed logical-linear programming
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
C
IF:
3.9
Papers:
8.1K
Citations:
1.7W