Synthesis of constraint-based local search algorithms from high-level models (2007)

by Pascal Van Hentenryck, Laurent Michel
Venue:IN: AAAI