Satisfiability modulo theories for process systems engineering
Satisfiability modulo theories for process systems engineering
复制标题
DOI：
10.1016/j.compchemeng.2018.03.004
复制
发表时间：
2018-05
期刊：
影响因子：
--
通讯作者：
Miten Mistry;A. C. D'Iddio;M. Huth;R. Misener
中科院分区：
文献类型：
--
作者：
Miten Mistry;A. C. D'Iddio;M. Huth;R. Misener
过程系统工程师早就认识到逻辑和优化对于自动化决策的重要性。但是，过程系统工程的现代挑战可以从计算机科学的方法论贡献中受益匪浅。特别是，我们proposesatifiability模理论（SMT）的过程系统工程应用。我们激励SMT使用一系列的测试床，并显示SMT算法和实现的适用性（i）二维装箱，（ii）模型解释器，和（iii）混合整数非线性优化求解器。
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 proposesatisfiability 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.