A CSP solver focusing on FAC variables - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

A CSP solver focusing on FAC variables

Résumé

The contribution of this paper is twofold. On the one hand, it introduces a concept of FAC variables in discrete Constraint Satisfaction Prob- lems (CSPs). FAC variables can be discovered by local search techniques and powerfully exploited by MAC-based methods. On the other hand, a novel syn- ergetic combination schema between local search paradigms, generalized arc- consistency and MAC-based algorithms is presented. By orchestrating a multiple- way flow of information between these various fully integrated search compo- nents, it often proves more competitive than the usual techniques on most classes of instances.
Fichier principal
Vignette du fichier
103.pdf (173.26 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00865539 , version 1 (24-09-2013)

Identifiants

  • HAL Id : hal-00865539 , version 1

Citer

Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure. A CSP solver focusing on FAC variables. 17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perugla, Italy. pp.493-507. ⟨hal-00865539⟩
58 Consultations
159 Téléchargements

Partager

Gmail Facebook X LinkedIn More