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.

中文翻译：

---

过程系统工程的可取模理论

长期以来，过程系统工程师已经认识到逻辑和优化对于自动化决策的重要性。但是，过程系统工程中的现代挑战可以从计算机科学的方法论贡献中受益匪浅。特别是，我们提出了用于过程系统工程应用的可满足性模理论（SMT）。我们使用一系列测试平台来激发SMT，并展示SMT算法和实现在（i）二维装箱，（ii）模型解释器和（iii）混合整数非线性优化求解器上的适用性。