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

Une approche gloutonne pour établir la singleton consistance d'arc

Résumé : Dans cet article, nous proposons une nouvelle approche pour établir la singleton consistance d'arc (SAC) d'un réseau de contraintes. Tandis que le principe des algorithmes SAC existants consiste à réaliser un parcours en largeur d'abord jusqu'à une profondeur égale à 1, le principe des deux algorithmes que nous introduisons consiste à réaliser plusieurs exécutions d'une recherche gloutonne (telle que la consistance d'arc soit maintenue à chaque étape). Il s'agit d'une illustration originale d'inférence (i.e. établir la singleton consistance d'arc) par la recherche. Utiliser une approche gloutonne permet de bénéficier de l'incrémentalité de la consistance d'arc, d'apprendre des informations pertinentes à partir des conflits et de, potentiellement, trouver des solutions pendant le processus d'inférence. De plus, les complexités temporelle et spatiale sont tout à fait compétitives.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

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

Files

Identifiers

  • HAL Id : inria-00000049, version 1

Collections

Citation

Stephane Cardon, Christophe Lecoutre. Une approche gloutonne pour établir la singleton consistance d'arc. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.99-108. ⟨inria-00000049⟩

Share

Metrics

Record views

61

Files downloads

93