Linear formulation of constraint programming models and hybrid solvers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1894, Issue , 2000, Pages 369-383

  Refalo, Philippe ^a  

^a IBM   (United States)

Author keywords

Global constraints; Hybrid solvers; Linear formulation

Indexed keywords

COMBINATORIAL OPTIMIZATION; CONSTRAINT THEORY; LINEAR TRANSFORMATIONS; MATHEMATICAL TRANSFORMATIONS; OPTIMIZATION;

AUTOMATIC PROCEDURES; COMBINATORIAL OPTIMIZATION PROBLEMS; CONSTRAINT PROGRAMMING; CONSTRAINT PROGRAMMING MODEL; GLOBAL CONSTRAINTS; HYBRID SOLVERS; LINEAR FORMULATION;

COMPUTER PROGRAMMING;

EID: 84945959823     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45349-0_27     Document Type: Conference Paper

References (22)

1. W. Adams and T. Johnson. Improved linear programming based lower bounds for the quadratic assignment problem. In P. Pardalos and H. Wolkowicz, editors, Quadratic Assignment and Related Problems, number 16, pages 49-72. AMS, Providence, Rhode Island, 1994.
2. B. De Backer and H. Beringer. Cooperative solvers and global constraints: The case of linear arithmetic constraints. In Proceedings of the Post Conference Workshop on Constraint, Databases and Logic Programming, ILPS’95, 1995.
3. E. Balas. Disjunctive programming and a hierarchy of relaxations for discrete optimization problems. SIAM Journal Alg. Disc. Meth., 6(3): 466-486, 1985.
4. N. Beldiceanu and E. Contejean. Introducing global constraints in CHIP. Mathl. Comput. Modelling, 20(12), 1994.
5. A. Bockmayr and T. Kasper. Branch and infer: A unifying framework for integer and finite domain constraint programming. INFORMS Journal on Computing, 10(3): 287-300, 1998.
6. F. Focacci, A. Lodi, and M. Milano. Cost-based domain filtering. In Proceedings of 5th International Conference CP 99, Alexandria, Virginia, October 1999. Springer-Verlag.
7. F. Focacci, A. Lodi, M. Milano, and D. Vigo. Solving tsp through the integration of cp and or methods. In Proceedings of the CP 98 Workshop on Large Scale Combinatorial Optimization and Constraints, 1998.
8. J. N. Hooker and M. A. Osorio. Mixed logical / linear programming. Discrete Applied Mathematics, 1996. to appear.
9. J. N. Hooker, G. Ottosson, E. S. Thornsteinsson, and Hak-Jin Kim. A scheme for unifying optimization and constraint satisfaction methods. Knowledge Engineering Review, 2000. to appear.
10. R. Jeroslow. Logic based decision support: Mixed integer model formulation. Annals of Discrete Mathematics, (40), 1989.
11. G. Mitra, C. Lucas, S. Moody, and E. Hadjiconstantinou. Tools for reformulating logical forms into zero-one mixed integer programs. European Journal of Operational Research, (72): 262-276, 1994.
12. ILOG Planner 3.3. User Manual. ILOG, S. A., Gentilly, France, December 1999.
13. P. Refalo. Tight cooperation and its application in piecewise linear optimization. In Proceedings of 5th International Conference CP 99, Alexandria, Virginia, October 1999. Springer-Verlag.
14. J. C. Regin. A filtering algorithmfor constraints of difference in csps. In Proceedings of AAAI-94, pages 362-367, Seattle, Washington, 1994.
15. R. Rodosek and M. Wallace. A generic model and hybrid algorithm for hoist scheduling problems. In Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming - CP’98, pages 385-399, Pisa, Italy, 1998. Also in LNCS 1520.
16. R. Rodosek, M. Wallace, and M. T. Hajian. A new approach to integrate mixed integer programming with CLP. In Proceedings of the CP’96 Workshop on Constraint Programming Applications, Boston, MA, USA, 1996.
17. M. Rueher and C. Solnon. Concurrent cooperating solvers over the reals. Reliable Computing, 3(3): 325-333, 1997.
18. ILOG Solver 4.4. User Manual. ILOG, S. A., Gentilly, France, June 1999.
19. P. van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, Mass., 1989.
20. P. van Hentenryck, H. Simonis, and M. Dincbas. Constraint satisfaction using constraint logic programming. Artificial Intelligence, 58(1-3): 113-159, 1992.
21. H. P. Williams. Model Building in Mathematical Programming. Wiley, 1999.
22. L. A. Wolsey. Integer Programming. Wiley, 1998.