Linear Formulation of Constraint Programming Models and Hybrid Solvers

This publication has 11 references indexed in Scilit:

• A scheme for unifying optimization and constraint satisfaction methods
  The Knowledge Engineering Review, 2000
• Solving TSP through the Integration of OR and CP Techniques
  Electronic Notes in Discrete Mathematics, 1999
• Tight Cooperation and Its Application in Piecewise Linear Optimization
  Published by Springer Nature ,1999
• Cost-Based Domain Filtering
  Published by Springer Nature ,1999
• Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
  INFORMS Journal on Computing, 1998
• A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems
  Published by Springer Nature ,1998
• Introducing global constraints in CHIP
  Mathematical and Computer Modelling, 1994
• Tools for reformulating logical forms into zero-one mixed integer programs
  European Journal of Operational Research, 1994
• Constraint satisfaction using constraint logic programming
  Artificial Intelligence, 1992
• Disjunctive Programming and a Hierarchy of Relaxations for Discrete Optimization Problems
  SIAM Journal on Algebraic Discrete Methods, 1985