Skip to Main content Skip to Navigation
New interface
Conference papers

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
Document type :
Conference papers
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03300993
Contributor : Fabien DELORME Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 12:46:41 PM
Last modification on : Friday, August 5, 2022 - 11:21:15 AM

Identifiers

  • HAL Id : hal-03300993, version 1

Collections

UNIV-ARTOIS | CNRS | U-PICARDIE | MIS | UPJV-MIS-GOC | CRIL

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

9