Thierry Petit Concilier Expressivité et Efficacité en Programmation par Contraintes. 2014 University of Nantes, France https://tel.archives-ouvertes.fr/tel-01095608