Synthesis of Constraint-Based Local Search Algorithms from High-Level Models

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

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.