Philippe Galinier Jin-Kao Hao A General Approach for Constraint Solving by Local Search. 73-88 2004 3 J. Math. Model. Algorithms 1 http://dx.doi.org/10.1023/B:JMMA.0000026709.24659.da db/journals/jmma/jmma3.html#GalinierH04