Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, et al.. Utilisation de la Propagation de Contraintes pour la Production de Sous-Clauses.
Premières Journées Francophones de la Programmation par Contraintes (JFPC'05), 2005, Lens, France. pp.69-78.
⟨hal-03300993⟩