Mixed global constraints and inference in hybrid CLP--IP solvers
From MaRDI portal
Publication:1601927
DOI10.1023/A:1014440424150zbMath1026.90062MaRDI QIDQ1601927
John N. Hooker, Greger Ottosson, Erlendur S. Thorsteinsson
Publication date: 27 June 2002
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
integration; mixed integer programming; inference; constraint logic programming; dynamic linear relaxations; mixed global contraints
Related Items
Reformulation of global constraints based on constraints checkers, Detecting infeasibility and generating cuts for mixed integer programming using constraint programming
Uses Software
Cites Work
- A Modeling Language for Mathematical Programming
- A new approach to integrating mixed integer programming and constraint logic programming
- Mixed logical-linear programming
- Disjunctive Programming
- Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
- A declarative modeling framework that integrates solution methods
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item