Pascal Van Hentenryck, Laurent Michel
The lack of automation for local search hinders experimentation and adoption of these technologies and slows down scientific progress. This paper addresses this issue and shows how effective local search procedures can be automatically synthesized from high-level models. Experimental results suggest that the synthesized procedures only induce a small loss in efficiency on a variety of realistic applications in sequencing, resource allocation, and facility location.
Subjects: 15. Problem Solving; 15.2 Constraint Satisfaction
Submitted: Apr 23, 2007