Localizer: A modeling language for local search

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

Volumn 1330, Issue , 1997, Pages 237-251

  Michel, Laurent ^a   Van Hentenryck, Pascal ^a  

^a BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY; LEARNING ALGORITHMS; MODELING LANGUAGES;

COMBINATORIAL SEARCH; DESIGN AND IMPLEMENTATIONS; GLOBAL SEARCH; LOCAL SEARCH; LOCAL SEARCH ALGORITHM; PRELIMINARY DESIGN; SCIENTIFIC PAPERS; TRADITIONAL TECHNIQUES;

LOCAL SEARCH (OPTIMIZATION);

EID: 84948961741     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0017443     Document Type: Conference Paper

References (11)

1. E. Fourer, D. Gay, and B.W. Kernighan. AMPL: A Modeling Language for Mathematical Programming. The Scientific Press, San Francisco, CA, 1993.
2. F. Glover. Tabu Search. Orsa Journal of Computing, 1:190-206, 1989.
3. D. Johnson, C. Aragon, L. McGeoch, and C. Schevon. Optimization by Simulated Annealing: An Experimental Evaluation; Part II, Graph Coloring and Number Partitioning. Operations Research, 39(3):378-406, 1991.
4. S. Kirkpatrick, C. Gelatt, and M. Vecchi. Optimization by Simulated Annealing. Science, 220:671-680, 1983.
5. S. Minton, M.D. Johnston, and A.B. Philips. Solving Large-Scale Constraint Satisfaction and Scheduling Problems using a Heuristic Repair Method. In AAAI-90, August 1990.
6. C.H. Papadimitriou and K. Steiglitz. Combinatorial Optimization: Algorithms and Complexity. Prentice-Hall, Englewood Cliffs, NJ, 1982.
7. B. Selman and H. Kautz. An Empirical Study of Greedy Local Search for Satisfiability Testing. In AAAI-93, pages 46-51, 1993.
8. B. Selman, H. Levesque, and D. Mitchell. A New Method for Solving Hard Satisfiability Problems. In AAAI-92, pages 440-446, 1992.
9. P. Stuckey and V. Tam. Models for Using Stochastic Constraint Solvers in Constraint Logic Programming. In PLILP-96, Aachen, August 1996.
10. P. Van Hentenryck, L. Michel, and Y. Deville. Numerica: a Modeling Language for Global Optimization. The MIT Press, Cambridge, Mass., 1997.
11. C. Voudouris and E. Tsang. Partial Constraint Satisfaction Problems and Guided Local Search. In PACT-96, London, April 1996.