La programmation par contraintes à l'attaque d'Eternity II - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

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

Thierry Benoist
  • Function : Author
  • PersonId : 840299
Eric Bourreau

Abstract

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.
Fichier principal
Vignette du fichier
pages-105-114-article8.pdf (299.01 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00291105 , version 1 (26-06-2008)

Identifiers

  • HAL Id : inria-00291105 , version 1

Cite

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⟩
232 View
209 Download

Share

Gmail Facebook Twitter LinkedIn More