Set variables and local search

Lecture Notes in Computer Science

Volumn 3524, Issue , 2005, Pages 19-33

  Ågren, Magnus ^a   Flener, Pierre ^a   Pearson, Justin ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONS; MATHEMATICAL MODELS; OPTIMIZATION; PROBLEM SOLVING;

CONSTRAINT PROGRAMMING; CONSTRAINT PROGRAMMING COMMUNITY; SET CONSTRAINTS; SET VARIABLES;

LINEAR PROGRAMMING;

EID: 26444521706     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11493853_4     Document Type: Conference Paper

References (25)

1. E. Aarts and J. K. Lenstra, editors. Local Search in Combinatorial Optimization. John Wiley & Sons Ltd., 1997.
2. F. Azevedo and P. Barahona. Applications of an extended set constraint solver. In Proc. of the ERCIM/CompulogNet Workshop on Constraints, 2000.
3. N. Barnier and P. Brisset. Solving the Kirkman's schoolgirl problem in a few seconds. In Proc. of CP'02, volume 2470 of LNCS, pages 477-491. Springer, 2002.
4. N. Beldiceanu. Global constraints as graph properties on a structured network of elementary constraints of the same type. In Proc. of CP'00, volume 1894 of LNCS, pages 52-66. Springer-Verlag, 2000.
5. N. Beldiceanu and T. Petit. Cost evaluation of soft global constraints. In Proc. of CPAIOR'04, volume 3011 of LNCS, pages 80-95. Springer-Verlag, 2004.
6. M. Bohlin. Design and Implementation of a Graph-Based Constraint Model for Local Search. PhL thesis, Malardalen University, Västerås, Sweden, April 2004.
7. P. Codognet and D. Diaz. Yet another local search method for constraint solving. In Proc. of SAGA'01, volume 2264 of LNCS, pages 73-90. Springer-Verlag, 2001.
8. K. Corrádi. Problem at Schweitzer competition. Mat. Lapok, 20:159-162, 1969.
9. I. Dotú and P. Van Hentenryck. Scheduling social golfers locally. In Proc. of CPAIOR'05, LNCS, Springer-Verlag, 2005.
10. P. Galinier and J.-K. Hao. A general approach for constraint solving by local search. In Proc. of CP-AI-OR'00.
11. C. Gervet. Interval propagation to reason about sets: Definition and implementation of a practical language. Constraints, 1(3): 191-244, 1997.
12. L. Michel and P. Van Hentenryck. Localizer: A modeling language for local search. In Proc. of CP'97, volume 1330 of LNCS. Springer-Verlag, 1997.
13. L. Michel and P. Van Hentenryck. A constraint-based architecture for local search. ACM SIGPLAN Notices, 37(11):101-110, 2002. Proc. of OOPSLA'02.
14. L. Michel and P. Van Hentenryck. Maintaining longest paths incrementally. In Proc. of CP'03, volume 2833 of LNCS, pages 540-554. Springer-Verlag, 2003.
15. T. Müller and M. Müller. Finite set constraints in Oz. In Proc. of 13th Workshop Logische Programmierung, pages 104-115, Technische Universität München, 1997.
16. A. Nareyek. Using global constraints for local search. In Constraint Programming and Large Scale Discrete Optimization, volume 57 of DIMACS: Series in Discrete Mathematics and Theoretical Computer Science, pages 9-28. AMS, 2001.
17. T. Petit, J.-C. Régin, and C. Bessière. Specific filtering algorithms for over constrained problems. In Proc. of CP'01, volume 2293 of LNCS, Springer, 2001.
18. S. Prestwich. Supersymmetric modeling for local search. In Proc. of 2nd International Workshop on Symmetry in Constraint Satisfaction Problems, at CP'02.
19. J.-F. Puget. Finite set intervals. In Proc. of CP'96 Workshop on Set Constraints.
20. J.-F. Puget. Symmetry breaking revisited. In Proc. of CP'02, volume 2470 of LNCS, pages 446-461. Springer-Verlag, 2002.
21. B. M. Smith et al. The progressive party problem: Integer linear programming and constraint programming compared. Constraints, 1:119-138, 1996.
22. P. Van Hentenryck and L. Michel. Localizer. Constraints, 5(1-2):43-84, 2000.
23. P. Van Hentenryck and L. Michel. Control abstractions for local search. In Proc. of CP'03, volume 2833 of LNCS, pages 65-80. Springer-Verlag, 2003.
24. P. Van Hentenryck, L. Michel, and L. Liu. Constraint-based combinators for local search. In Proc. of CP'04, volume 3258 of LNCS. Springer-Verlag, 2004.
25. J. P. Walser. Integer Optimization by Local Search: A Domain-Independent Approach, volume 1637 of LNCS. Springer-Verlag, 1999.