Mixed Global Constraints and Inference in Hybrid CLP–IP Solvers

Introduction to Algorithms

V. J. Rayward‐Smith, Thomas H. Cormen, Charles E. Leiserson et al. · Journal of the Operational Research Society · 1991 · 17K citations

Computing, Computer Engineering, Computer Science +9

The OPL Optimization Programming Language

A. Tuson, Pascal Van Hentenryck · Journal of the Operational Research Society · 2000 · 513 citations

Computing, Computer Science, Compilers +8

Mixed logical-linear programming

John Hooker, Marı́a A. Osorio · Discrete Applied Mathematics · 1999 · 158 citations · Full text

Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming

Alexander Bockmayr, Thomas Kasper · INFORMS journal on computing · 1998 · 122 citations

Business, Computer Science, Mathematics +16

A new approach to integrating mixed integer programming and constraint logicprogramming

R. Rodošek, Mark Wallace, M.T. Hajian · Annals of Operations Research · 1999 · 104 citations

Computing, Computer Science, Algorithms +11