Yves Deville Christine Solnon Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction http://arxiv.org/abs/0910.1404 2009 CoRR abs/0910.1404 db/journals/corr/corr0910.html#abs-0910-1404 informal publication