Skip to Main content Skip to Navigation
Conference papers

La Famille ABT

Résumé : Depuis quelques années, la communauté IA affiche un intérêt croissant pour la résolution de problèmes distribués. Dans le domaine du raisonnement par contraintes distribuées, plusieurs procédures de recherche arborescente ont été proposées pour trouver une solution dans un réseau de contraintes. Elles se distinguent par la manière dont elles mémorisent les combinaisons de valeurs infructueuses (nogoods) et par les méthodes qu’elles mettent en œuvre pour détecter l’obsolescence potentielle des données mémorisées. Dans cet article, nous proposons un cadre unificateur pour ces algorithmes de recherche asynchrones. Nous étudions les choix qui peuvent être faits pour obtenir un algorithme correct et complet. Notre cadre permet de décrire et de comprendre les éléments de base de ces procédures, et de mettre en relief leurs similarités et leurs différences.
Document type :
Conference papers
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00268451
Contributor : Christine Carvalho de Matos <>
Submitted on : Saturday, October 12, 2019 - 4:47:30 PM
Last modification on : Monday, November 16, 2020 - 4:26:03 PM
Long-term archiving on: : Monday, January 13, 2020 - 2:13:54 PM

File

jnpc02.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-00268451, version 1

Collections

Citation

Christian Bessière, Arnold Maestre, Pedro Meseguer. La Famille ABT. JNPC: Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, Jun 2002, Nice, France. pp.57-67. ⟨lirmm-00268451⟩

Share

Metrics

Record views

145

Files downloads

13