Skip to Main content Skip to Navigation
Conference papers

La programmation par contraintes à l'attaque d'Eternity II

Thierry Benoist 1 Eric Bourreau 2
2 COCONUT - Agents, Apprentissage, Contraintes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Résumé : Nous nous intéressons dans cet article à l'énumération de toutes les solutions d'un puzzle de type edge-matching. Nous montrons qu'une modélisation adaptée du problème combinée à l'utilisation de structures algorithmiques efficaces permet d'obtenir un filtrage efficace et global, de complexité O(1). Nous vérifions expérimentalement la pertinence du compromis filtrage/complexité proposé par comparaison avec un des meilleurs algorithmes arborescents disponibles.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00291105
Contributor : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Submitted on : Thursday, June 26, 2008 - 5:02:04 PM
Last modification on : Wednesday, February 17, 2021 - 3:28:06 AM
Long-term archiving on: : Friday, May 28, 2010 - 9:02:51 PM

File

pages-105-114-article8.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00291105, version 1

Collections

Citation

Thierry Benoist, Eric Bourreau. La programmation par contraintes à l'attaque d'Eternity II. 4èmes Journées Francophones de Programmation par Contraintes (JFPC 2008), LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.105-114. ⟨inria-00291105⟩

Share

Metrics

Record views

482

Files downloads

367