Mixed global constraints and inference in hybrid CLP--IP solvers

DOI10.1023/A:1014440424150zbMath1026.90062OpenAlexW1751048338MaRDI QIDQ1601927

John N. Hooker, Erlendur S. Thorsteinsson, Greger Ottosson

Publication date: 27 June 2002

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1014440424150

zbMATH Keywords

integrationmixed integer programminginferenceconstraint logic programmingdynamic linear relaxationsmixed global contraints

Mathematics Subject Classification ID

Mixed integer programming (90C11) Linear programming (90C05) Combinatorial optimization (90C27)

Related Items

Constraint programming and operations research ⋮ Reformulation of global constraints based on constraints checkers ⋮ Balancing and scheduling of flexible mixed model assembly lines ⋮ Detecting infeasibility and generating cuts for mixed integer programming using constraint programming

Uses Software

• AMPL
• CPLEX

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