Localizer: A Modeling Language for Local Search

References

• Fourer R., Bisschop J. New constructs for the description of combinatorial optimization problems in algebraic modeling languages. Computational Optimezation and Appl-tions (1996) 6:83–116Crossref, Google Scholar
• Fourer R., Gay D., Kernighan B.AMPL: A Modeling Language for Mathematical Programming (1993) (Scientific Press, San Francisco, CA) Google Scholar
• Glover F. Tabu search. ORSA Journal on Computing (1989) 1:190–206Link, Google Scholar
• Johnson D., Aragon C., McGeoch L., Schevon C. Optimization by simulated annealing: An experimental evaluation; Part I, graph partitioning. Operations Research (1989) 37:865–893Link, Google Scholar
• Johnson D., Aragon C., McGeoch L., Schevon C. Optimization by simulated annealing: An experimental evaluation; Part II, graph coloring and number partitioning. Operations Research (1991) 39:378–406Link, Google Scholar
• Kirkpatrick S., Gelatt C., Vecchi M. Optimization by simulated annealing. Science (1983) 220:671–680Crossref, Google Scholar
• Minton S., Johnston M., Philips A. Solving large-scale constraint satisfaction and scheduling problems using a Heuristic repair method. (1990) AAAI-90:17–24Google Scholar
• Papadimitriou C., Steiglitz K.Combinatorial Optimization: Algorithms and Complexity (1982) (Prentice-Hall, Englewood Cliffs, NJ) Google Scholar
• Selman B., Kautz H. An empirical study of greedy local search for satisfiability testing. (1993) AAAI-93:46–51Google Scholar
• Selman B., Levesque H., Mitchell D. A new method for solving hard satisfiability problems. (1992) AAAI-92:440–446Google Scholar
• Stuckey P., Tam V. Models for using stochastic constraint solvers in constraint logic programming. (1996) PLILP-96:423–437Google Scholar
• Van Hentenryck P., Michel L., Deville Y.Numerica: A Modeling Language for Global Optimization (1997) (MIT Press, Cambridge, MA) Crossref, Google Scholar