Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming

  title={Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming},
  author={Erlendur S. Thorsteinsson},
  • Erlendur S. Thorsteinsson
  • Published in CP 2001
  • Computer Science
  • We present Branch-and-Check, a hybrid framework integrating Mixed Integer Programming and Constraint Logic Programming, which encapsulates the traditional Benders Decomposition and Branch-and-Bound as special cases. In particular we describe its relation to Benders and the use of nogoods and linear relaxations. We give two examples of how problems can be modelled and solved using Branch-and-Check and present computational results demonstrating more than order-of-magnitude speedup compared to… CONTINUE READING
    144 Citations
    Nutmeg: a MIP and CP hybrid solver using branch-and-check
    • PDF
    Planning and Scheduling by Logic-Based Benders Decomposition
    • J. Hooker
    • Mathematics, Computer Science
    • Oper. Res.
    • 2007
    • 198
    • PDF
    Constraint programming and operations research
    • 11
    • PDF
    Non-Systematic Backtracking for Mixed Integer Programs
    • PDF
    A Search-Infer-and-Relax Framework for Integrating Solution Methods
    • 21
    • PDF
    Logic-based Benders decomposition for planning and scheduling: a computational analysis
    • 14
    • PDF
    Stochastic Planning and Scheduling with Logic-Based Benders Decomposition
    • PDF
    Combinatorial Benders' Cuts for Mixed-Integer Linear Programming
    • 266
    • PDF


    Linear Relaxations and Reduced-Cost Based Propagation of Continuous Variable Subscripts
    • 45
    • PDF
    Properties of Some Combinatorial Optimization Problems and Their Effect on the Performance of Integer Programming and Constraint Logic Programming
    • 50
    Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
    • 133
    • Highly Influential
    • PDF
    A new approach to integrating mixed integer programming and constraint logicprogramming
    • 115
    Mixed Logical-linear Programming
    • 169
    • PDF
    On Integrating Constraint Propagation and Linear Programming for Combinatorial Optimization
    • 66
    • PDF
    A Declarative Modeling Framework that Integrates Solution Methods
    • 24
    Algorithms for Hybrid MILP/CP Models for a Class of Optimization Problems
    • 389
    • PDF