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 <>
Submitted on : Tuesday, May 24, 2005 - 6:40:22 PM
Last modification on : Thursday, January 11, 2018 - 6:19:28 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

147

Files downloads

202