-

 

 

 




Optimization Online





 

Satisfiability Modulo Theories for Process Systems Engineering

Miten Mistry(miten.mistry11***at***imperial.ac.uk)
Andrea Callia D'Iddio(a.callia-diddio14***at***imperial.ac.uk)
Michael Huth(m.huth***at***imperial.ac.uk)
Ruth Misener(r.misener***at***imperial.ac.uk)

Abstract: 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 demonstrate the applicability of SMT algorithms and implementations on (i) planning and scheduling, (ii) applications with many numeric scales, (iii) MINLP solvers.

Keywords: Satisfiability Modulo Theories, Mixed-Integer Optimization, Generalized Disjunctive Programming, Mixed Logical-Linear Programming

Category 1: Integer Programming ((Mixed) Integer Nonlinear Programming )

Citation:

Download: [PDF]

Entry Submitted: 06/19/2017
Entry Accepted: 06/19/2017
Entry Last Modified: 06/19/2017

Modify/Update this entry


  Visitors Authors More about us Links
  Subscribe, Unsubscribe
Digest Archive
Search, Browse the Repository

 

Submit
Update
Policies
Coordinator's Board
Classification Scheme
Credits
Give us feedback
Optimization Journals, Sites, Societies
Mathematical Optimization Society