-

 

 

 




Optimization Online





 

Logical Modelling Using Satisfiability Modulo Theories to Manage Symmetric and Degenerate Mixed Integer Linear Programming Problems

Miten Mistry(miten.mistry11***at***imperial.ac.uk)
Michael Huth(m.huth***at***imperial.ac.uk)
Ruth Misener(r.misener***at***imperial.ac.uk)

Abstract:

Keywords: Two-dimensional bin packing, propositional satisfiability, symmetry, logic-based Benders decomposition

Category 1: Applications -- OR and Management Sciences

Category 2: Combinatorial Optimization (Branch and Cut Algorithms )

Citation: Working paper

Download: [PDF]

Entry Submitted: 04/25/2017
Entry Accepted: 04/25/2017
Entry Last Modified: 04/25/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