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

This publication has 12 references indexed in Scilit:

• Hybrid mixed-integer/constraint logic programming strategies for solving scheduling and combinatorial optimization problems
  Computers & Chemical Engineering, 2000
• Logic‐Based Methods for Optimization
  Published by Wiley ,2000
• A scheme for unifying optimization and constraint satisfaction methods
  The Knowledge Engineering Review, 2000
• Cutting Planes in Constraint Programming: An Hybrid Approach
  Published by Springer Nature ,2000
• Mixed logical-linear programming
  Discrete Applied Mathematics, 1999
• Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
  INFORMS Journal on Computing, 1998
• Properties of Some Combinatorial Optimization Problems and Their Effect on the Performance of Integer Programming and Constraint Logic Programming
  INFORMS Journal on Computing, 1998
• Logic-based methods for optimization
  Published by Springer Nature ,1994
• Generalized Benders decomposition
  Journal of Optimization Theory and Applications, 1972
• Partitioning procedures for solving mixed-variables programming problems
  Numerische Mathematik, 1962