Skip to Main content Skip to Navigation
Conference papers

Problème de satisfaction de contraintes n-aires : une étude expérimentale

Résumé : Depuis quelques années, la communauté I.A. affiche un intérêt croissant pour les Problèmes de Satisfaction de Contraintes (CSPs), cadre de formalisation puissant pour de nombreux problèmes du monde réel et généralement NP-complets. Les méthodes de recherche de solutions pour les CSPs de type Forward Checking (FC) ont été intensivement étudiées dans le cas binaire. Ces derniéres années ont vu arriver de nombreux résultats relatifs aux CSPs n-aires. Notre objectif général est de développer une bibliothèque d'algorithmes de recherche arborescente distribués capables de s'attaquer à des CSPs généraux suite à l'analyse préalable des algorithmes n-aires d'arc-consistance et de résolution, qui permettrait d'en sélectionner ceux qui sont les plus efficaces. Plutôt que d'utiliser des solveurs existants, nous avons développé notre propre solveur pour mener des études expérimentales sur des CSPs n-aires.
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000094
Contributor : Christine Solnon <>
Submitted on : Friday, May 27, 2005 - 2:39:09 PM
Last modification on : Wednesday, May 18, 2016 - 1:01:15 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:35:08 PM

Files

Identifiers

  • HAL Id : inria-00000094, version 1

Collections

Citation

Mihaela Butaru, Zineb Habbas. Problème de satisfaction de contraintes n-aires : une étude expérimentale. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.435-438. ⟨inria-00000094⟩

Share

Metrics

Record views

276

Files downloads

351