Relational Consistency by Constraint Filtering - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Relational Consistency by Constraint Filtering

Résumé

In this paper, we propose a new algorithm for enforcing relational consistency on every set of k constraints of a finite Constraint Sat- isfaction Problem (CSP). This algorithm operates by filtering the constraint while leaving the topology of the graph unchanged. We study the resulting relational consistency property and compare it to existing ones. We evaluate the effectiveness of our algorithm in a search procedure for solving CSPs and demonstrate the appli- cability, effectiveness, and usefulness of enforcing high levels of consistency.
Fichier non déposé

Dates et versions

lirmm-00558309 , version 1 (21-01-2011)

Identifiants

  • HAL Id : lirmm-00558309 , version 1

Citer

Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere. Relational Consistency by Constraint Filtering. SAC: Symposium on Applied Computing, Mar 2010, Sierre, Switzerland. pp.2073-2074. ⟨lirmm-00558309⟩
92 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More