Browse > Article

On Implementing a Hybrid Solver from Constraint Programming and Optimization  

Kim, Hak-Jin (School of Business, Yonsei University)
Publication Information
Information Systems Review / v.5, no.2, 2003 , pp. 203-217 More about this Journal
Abstract
Constraint Programming and Optimization have developed in different fields to solve common problems in real world. In particular, constraint propagation and linear Programming are their own fundamental and complementary techniques with the potential for integration to benefit each other. This intersection has evoked the efforts to combine both for a solution method to combinatorial optimization problems. Attempts to combine them have mainly focused on incorporating either technique into the framework of the other with traditional models left intact. This paper argues that integrating both techniques into an old modeling fame loses advantages from another and the integration should be molded in a new framework to be able to exploit advantages from both. The paper propose a declarative modeling framework in which the structure of the constraints indicates how constraint programming and optimization solvers can interact to solve problems.
Keywords
Constraint Programming; Constraint Satisfaction; Combinatorial Optimization; Constraint Propagation; Linear Programming; Integer Programming; Solver Technology;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Beringer, H. and B. De Backer, 'Combinatorial problem solving in constraint logic programming with cooperating solvers', Logic Programming: Formal Methods and Practical Applications (C. Beierle and L. Plumer eds.), Studies in Computer Science and Artificial Intelligence, Elsevier 1995
2 De Backer, B. and H. Beringer, 'Intelligent backtracking for CLP languages: an application to CLP(R)', Ligic Programming, Proceedings of the 1991 International Symposium (V. Saraswat and K. Ueda eds.), 405-419, San Diego, The MIT Press 1991
3 Hajian, M., R. Rodosek and B. Richards, 'Introduction of a new class of variables to discrete and integer programming problems', Baltzer Journals, 1996
4 Hooker, N. and M. Osorio, 'Mixed logical/linear programming', Discrete Appleid Mathematics 96-97(1-3):395-442, 1999
5 Hooker, J., 'Logic-based methods for optimization', Principles and Practice of Constraint Programming, PPCP'94 (A. Boming ed.), Lecture Notes in Computer Science Vol. 874, S4ringer, 1994
6 Rodosek, R., M. Wallace and M. Hajian, 'A new approach to integrating mixed integer programming and constraint logic programming', Baltzer Journals, 1997
7 Swedish Institute of Computer Science, SICStus Prolog User's Manual, URL http://www.sics.se/sicstus, 1995
8 Marriott, K. and P. Stuckey, Programming with Constraints: An Introduction, MIT Press, 1998 Baltzer Journals, 1997
9 Tsang, E., Foundations of Constraint Satisfaction, Academic Press, 1993
10 Geoffrion, A., 'Lagrangian relaxation for integer programming', Mathematical Programming Study 2: 82-114, 1974
11 Hooker, J., H. Kim, G. Ottosson, 'A declarative modeling frameworkthat integratessolutionmethods', Annals of Operations Research, 104(1): 141-161, Baltzer Science, 2001
12 Dincbas, M., P. Van Hentenryek, H. Simonis, A. Aggoun and F. Berthier, 'The Constraint Logic Programming Language CHIP', Proceedings International Conference on Fifth Generation Computer Systems(FGCS- 88),693-702, Tokyo, ICOT, 1988
13 Smith, B., S. Brailsford, P. Hubbard and H. P. Williams, 'The prograssive Party Problem: Integer Linear Progamming and Constraint Programming Compared', Proceedings 1st International Conference on Principles and Practice of Constraint Programming, CP95, 1995
14 Benders, J. F., 'Partitioning procedures for solving mixed-variables programming problems', Numer. Math., 4: 238-252, 1962
15 Darby-Dowman, K. and J. Little, 'Properties of some combinatorial optimization problems and their effect on the performance of integer programming and constraint logic programming', INFORMS J. Computing, 10(3): 276-286, 1998
16 Hajian, M., 'Dis-equality constraints in linear/integer programming', Technical Report, IC-Pare, 1996. Hooker, N. and M. Osorio, 'Mixed logical/linear programming', Discrete Applied Mathematics 96-97 (1-3): 395-442, 1999
17 Bockmayr, A. and T. Kasper, Branch-and-infer: A unifying framework for integer and finite domain constraint programming', INFORMS J. Computing, 10(3): 287-300, 1998