HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Inférence de supports pour les algorithmes de filtrage générique

Résumé : Dans cet article, nous proposons une analyse statique des différentes contraintes d'un réseau afin d'identifier certaines propriétés (ou caractéristiques) générales. L'utilisation de ces propriétés rend possible une inférence de supports qui permet de réduire le nombre de tests de consistance. En effet, l'exploitation de certaines propriétés identifiées lors d'une phase de pré-traitement peut apporter une amélioration substantielle des algorithmes de recherche qui maintiennent une forme de consistance locale telle que la consistance d'arc. Les résultats d'expérimentations menées sur de nombreuses classes d'instances démontrent l'intérêt de cette approche.
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000048
Contributor : Christine Solnon Connect in order to contact the contributor
Submitted on : Tuesday, May 24, 2005 - 6:40:22 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:16 AM
Long-term archiving on: : Thursday, April 1, 2010 - 8:02:28 PM

Files

Identifiers

  • HAL Id : inria-00000048, version 1

Collections

Citation

Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais. Inférence de supports pour les algorithmes de filtrage générique. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.89-98. ⟨inria-00000048⟩

Share

Metrics

Record views

51

Files downloads

126