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)
Licence
Loading...

Dates et versions

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

Licence

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⟩
89 Consultations
316 Téléchargements

Partager

  • More