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

Proceedings of 16th European Conference on Artificial Intelligence, ECAI 2004

Dov M. Gabbay, A d'Avila Garcez, Luís C. Lamb · 2004 · 756 citations

Computing, Computer Science, Artificial Intelligence +11

The OPL Optimization Programming Language

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

Computing, Computer Science, Compilers +8

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