Utilisation de la Propagation de Contraintes pour la Production de Sous-Clauses

Sylvain Darras (1) , Gilles Dequen (1) , Laure Devendeville , Bertrand Mazure (2) , Richard Ostrowski (2) , Lakhdar Saïs (2)

1 LaRIA - Laboratoire de Recherche en Informatique d'Amiens
2 CRIL - Centre de Recherche en Informatique de Lens

Domains: Computer Science [cs]; Artificial Intelligence [cs.AI]

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⟩