Laurent Michel Pascal Van Hentenryck A constraint-based architecture for local search. 83-100 2002 OOPSLA http://doi.acm.org/10.1145/582419.582430 db/conf/oopsla/oopsla2002.html#MichelH02