Download:
|
by Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
http://www.cs.brown.edu/people/pvh//cc.ps
Add To MetaCart
Abstract:
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates that traditional combinators from constraint programming have natural counterparts for local search, although their underlying computational model is radically different. In particular, the paper shows that constraint combinators, such as logical and cardinality operators, reification, and first-class expressions can all be viewed as di#erentiable objects. These combinators naturally support elegant and e#cient modelings, generic search procedures, and partial constraint satisfaction techniques for local search. Experimental results on a variety of applications demonstrate the expressiveness and the practicability of the combinators. 1
Citations
|
436
|
Optimization by Simulated Annealing: An Experimental Evaluation
– Johnson, Aragon, et al.
- 1991
|
|
383
|
Partial constraint satisfaction
– Freuder, Wallace
- 1992
|
|
285
|
Noise strategies for improving local search
– Selman, Kautz, et al.
- 1994
|
|
139
|
Solving large-scale constraint satisfaction and scheduling problems using a heuristic repair method
– Minton, Johnston, et al.
- 1990
|
|
36
|
SALSA: A Language for Search Algorithms
– Laburthe, Caseau
- 1998
|
|
32
|
Bounded incremental computation
– Ramalingam
- 1993
|
|
31
|
A constraint-based architecture for local search
– Hentenryck, Michel
|
|
25
|
Partial constraint satisfaction problems and guided local search
– Voudouris, Tsang
- 1996
|
|
24
|
Yet Another Local Search Method for Constraint Solving
– Codognet, Diaz
- 2001
|
|
20
|
A General Approach for Constraint Solving by Local Search
– Galinier, Hao
- 2000
|
|
16
|
A simple tabu search for warehouse location
– Michel, Hentenryck
- 2004
|
|
15
|
Integer Optimization by Local Search
– Walser
- 1999
|
|
13
|
Control Abstractions for Local Search
– Hentenryck, Michel
- 2003
|
|
6
|
Optimization Software Class Libraries, chapter Writing Local Search Algorithms Using EasyLocal
– Gaspero, Schaerf
- 2002
|
|
6
|
Constraint-Based Agents
– Nareyek
- 1998
|
|
6
|
Improved local search for CP toolkits
– Shaw, Backer, et al.
- 2002
|
|
6
|
Optimization Software Class Libraries
– Voss, Woodruff
- 2002
|
