A Hybrid Programming Framework for Modeling and Solving Constraint Satisfaction and Optimization Problems

Article English OPEN
Sitek, Paweł; Wikarek, Jarosław;
(2016)
  • Publisher: Hindawi Publishing Corporation
  • Journal: Scientific Programming (issn: 1058-9244, eissn: 1875-919X)
  • Related identifiers: doi: 10.1155/2016/5102616
  • Subject: Computer software | Article Subject | QA76.75-76.765

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
  • References (20)
    20 references, page 1 of 2

    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

    Schrijver, A.. 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

  • Metrics
    No metrics available
Share - Bookmark