A constraint-based architecture for local search

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2002, Pages 101-110

  Michel, Laurent ^a   Van Hentenryck, Pascal ^a  

^a BROWN UNIVERSITY   (United States)

Author keywords

Constraint; Incrementality; Local search; Optimization

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE REUSABILITY; HEURISTIC METHODS; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; OPTIMIZATION;

COMBINATORIAL OPTIMIZATION PROBLEMS; CONSTRAINT-BASED ARCHITECTURE; INCREMENTALITY; LOCAL SEARCH;

COMPUTER ARCHITECTURE;

EID: 0038486673     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)

1. B. Alpern, R. Hoover, B. K. Rosen, P. F. Sweeney, and F. K. Zadeck. Incremental evaluation of computational circuits. In Proceedings of the First Annual ACM-SIAM Symposium on Discrete Algorithms, pages 32-42, San Francisco, California, 22-24, Jan. 1990.
2. A. Andreatta. A framework for the development of local search heuristics with an application to the phylogeny problem, 1997.
3. N. Beldiceanu and M. Carlsson. Revisiting the cardinality Operator. In ICLP-01, Cyprus, 2001.
4. A. Borning. The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory. ACM Transaction on Programming Languages and Systems, 3(4):353-387, 1981.
5. C. Codognet and D. Diaz. Yet Another Local Search Method for Constraint Solving. In AAAI Fall Symposium on Using Uncertainty within Computation, Cape Cod, MA., 2001.
6. A. Colmerauer. An Introduction to Prolog III. Commun. ACM, 28(4):412-418, 1990.
7. M. Dincbas, H. Simonis, and P. Van Hentenryck. Solving the Car Sequencing Problem in Constraint Logic Programming. In ECAI-88, August 1988.
8. A. Fink, S. Voss, and D. Woodruff. Building reusable software components for heuristic search, 1998.
9. R. Fourer, D. Gay, and B. Kernighan. AMPL: A Modeling Language for Mathematical Programming. The Scientific Press, San Francisco, CA, 1993.
10. P. Galinier and J.-K. Hao. A General Approach for Constraint Solving by Local Search. In CP-AI-OR'00, Paderborn, Germany, March 2000.
11. I. Gent and T. Walsh. CSPLib: a benchmark library for constraints. In CP'99 (Short Paper), Alexandra, VA, October 1999.
12. B. Kernighan and S. Lin. An efficient heuristic procedure for partitioning graphs. Bell System Technical Journal, 49:291-307, 1970.
13. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Longtier, and J. Irwin. Aspect-oriented programming. In ECOOP '97, pages 220-242 June 1997.
14. K. McAloon and C. Tretkoff. 2LP: Linear Programming and Logic Programming. In V. Saraswat and P. V. Hentenryck, editors, Principles and Practice of Constraint Programming. The MIT Press, Cambridge, Ma, 1995.
15. L. Michel and P. Van Hentenryck. Localizer: A Modeling Language for Local Search. Informs Journal on Computing, 11(1):1-14, 1999.
16. L. Michel and P. Van Hentenryck. Localizer, Constraints, 5:41-82, 2000.
17. S. Minton, M. Johnston, and A. Philips. Solving Large-Scale Constraint Satisfaction and Scheduling Problems using a Heuristic Repair Method. In AAAI-90, August 1990.
18. A. Nareyek. Constraint-Based Agents. Springer Verlag, 1998.
19. R. Paige and S. Koenig. Finite differencing of computable expressions. ACM Transactions on Programming Languages and Systems, 4(3):402-454, July 1982.
20. B. Parrello, W. Kabat, and L. Wos. Job-Shop Scheduling Using Automated Reasoning: A Case Study of the Car-Sequencing Problem. Journal of Automated Reasoning, 2(1):1-42, 1986.
21. G. Ramalingam. Bounded Incremental Computation. PhD thesis, University of Wisconsin-Madison, 1993.
22. A. Schaerf, M. Lenzerini, and M. Cadoli. Local++: A c++ framework for local search algorithms. Technical Report 11-99, Dipartimento di Informatica e Sistematica, Universita di Roma, La Sapienza, May 1999.
23. B. Selman, H. Kautz, and B. Cohen. Noise Strategies for Improving Local Search. In AAAI-94, pages 337-343, 1994.
24. I. Sutherland. Sketchpad: a Man-Machine Graphical Communication System. Cambridge, MA, MIT Lincoln Labs, 1963.
25. P. Van Hentenryck. Constraint Satisfaction in Logic Programming. Logic Programming Series, The MIT Press, Cambridge, MA, 1989.
26. P. Van Hentenryck. The OPL Optimization Programming Language. The MIT Press, Cambridge, Mass., 1999.
27. P. Van Hetenryck and Y. Deville. The Cardinality Operator: A New Logical Connective and its Application to Constraint Logic Programming. In ICLP-91, June 1991.
28. J. Walser. Integer Optimization by Local Search. Springer Verlag. 1998.
29. D. Yellin and S. R. E. Inc: A Language for Incremental Computations. In PLDI'88, pages 115-124, Atlanta, Georgia, 22-24 June 1988.
30. D. Yellin and S. R. E. Inc: SIGPLAN Notices 23(7), July 1988.