This paper proposes a hybrid programming framework for modeling and solving of constraint satisfaction problems (CSPs) and constraint optimization problems (COPs). Two paradigms, CLP (constraint logic programming) and MP (mathematical programming), are integrated in the... View more
Rossi, F., Van Beek, P., Walsh, T..
Handbook of Constraint Programming (Foundations of Artificial Intelligence). 2006
Hamadi, Y., Monfroy, E. E., Saubion, F..
Autonomous Search. 2011
Theory of Linear and Integer Programming. 1998
Apt, K., Wallace, M..
Constraint Logic Programming Using Eclipse. 2006
Buscemi, M. G., Montanari, U.. A survey of constraint-based programming paradigms.
Computer Science Review. 2008; 2 (3): 137-141
Achterberg, T., Berthold, T., Koch, T., Wolter, K.. Constraint integer programming: a new approach to integrate CP and MIP.
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. 2008; 5015: 6-20
Bockmayr, A., Kasper, T.. Branch-and-infer: a framework for combining CP and IP.
Constraint and Integer Programming. 2004; 27: 59-87
Hooker, J. N.. Logic, optimization, and constraint programming.
INFORMS Journal on Computing. 2002; 14 (4): 295-321
Jain, V., Grossmann, I. E.. Algorithms for hybrid MILP/CP models for a class of optimization problems.
INFORMS Journal on Computing. 2001; 13 (4): 258-276
Milano, M., Wallace, M.. Integrating operations research in constraint programming.
Annals of Operations Research. 2010; 175 (1): 37-76