Satisfiability modulo theories for process systems engineering

Autor: Andrea Callia D'Iddio, Miten Mistry, Michael Huth, Ruth Misener
Přispěvatelé: Engineering & Physical Science Research Council (EPSRC), Engineering & Physical Science Research Council (E, Engineering and Physical Sciences Research Council
Rok vydání: 2018
Předmět:
Technology
Engineering
Chemical

Optimization problem
Theoretical computer science
Computer science
General Chemical Engineering
MODELS
0211 other engineering and technologies
0904 Chemical Engineering
02 engineering and technology
Abstract process
BIN-PACKING PROBLEM
Nonlinear programming
Engineering
PROGRAMS
Satisfiability modulo theories
SEARCH
0202 electrical engineering
electronic engineering
information engineering

LOGIC
Mixed logical-linear programming
Implementation
FORMULATION
021103 operations research
Science & Technology
Series (mathematics)
Bin packing problem
ALGORITHMS
Work in process
Chemical Engineering
Computer Science Applications
BRANCH
BENDERS DECOMPOSITION
OPTIMIZATION PROBLEMS
Computer Science
020201 artificial intelligence & image processing
Computer Science
Interdisciplinary Applications

Generalized disjunctive programming
Mixed-integer optimization
0913 Mechanical Engineering
Popis: 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.
Databáze: OpenAIRE