 |
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
Sylvain Darras 1
Author
Gilles Dequen 1
Author IdHAL : gilles-dequen ORCID : https://orcid.org/0000-0001-7497-1182
Laure Devendeville
Author
Bertrand Mazure 2
Author
Richard Ostrowski 2
Author
Lakhdar Saïs 2
Author
1
LaRIA - Laboratoire de Recherche en Informatique d'Amiens (Université de Picardie Jules Verne - Faculté de Mathématiques et d'Informatique - 33, rue Saint Leu - 80039 AMIENS CEDEX 1 - France)
- UPJV - Université de Picardie Jules Verne : FRE2733 (Chemin du Thil - 80000 Amiens - France)
- CNRS - Centre National de la Recherche Scientifique : FRE2733 (France)
2
CRIL - Centre de Recherche en Informatique de Lens (Rue Jean Souvraz - SP 18 62307 LENS CEDEX - France)
- UA - Université d'Artois (9 rue du Temple - BP 10665 - 62030 Arras cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8188 (France)
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 : Wednesday, September 22, 2021 - 5:04:02 PM
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 12:46:41 PM
Last modification on : Wednesday, September 22, 2021 - 5:04:02 PM
Identifiers
- HAL Id : hal-03300993, version 1
Collections
UNIV-ARTOIS | MIS | CNRS | 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⟩
Metrics
Record views