References
- Benders, J. F., 'Partitioning procedures for solving mixed-variables programming problems', Numer. Math., 4: 238-252, 1962
- 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
- 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
- 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
- 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
- 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
- Geoffrion, A., 'Lagrangian relaxation for integer programming', Mathematical Programming Study 2: 82-114, 1974
- Hajian, M., R. Rodosek and B. Richards, 'Introduction of a new class of variables to discrete and integer programming problems', Baltzer Journals, 1996
- 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
- Hooker, N. and M. Osorio, 'Mixed logical/linear programming', Discrete Appleid Mathematics 96-97(1-3):395-442, 1999
- Hooker, J., H. Kim, G. Ottosson, 'A declarative modeling frameworkthat integratessolutionmethods', Annals of Operations Research, 104(1): 141-161, Baltzer Science, 2001
- 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
- Marriott, K. and P. Stuckey, Programming with Constraints: An Introduction, MIT Press, 1998 Baltzer Journals, 1997
- Rodosek, R., M. Wallace and M. Hajian, 'A new approach to integrating mixed integer programming and constraint logic programming', Baltzer Journals, 1997
- 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
- Tsang, E., Foundations of Constraint Satisfaction, Academic Press, 1993
- Swedish Institute of Computer Science, SICStus Prolog User's Manual, URL http://www.sics.se/sicstus, 1995