Interleaved Alldifferent Constraints: CSP vs. SAT Approaches - Université d'Angers Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Interleaved Alldifferent Constraints: CSP vs. SAT Approaches

Résumé

In this paper, we want to handle multiple interleaved Alldiff constraints from two points of view: a uniform propagation framework with some CSP reduction rules and a SAT encoding of these rules that preserves the reduction properties of CSP.

Fichier principal
Vignette du fichier
AIMSA08.pdf (94.14 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03350607 , version 1 (14-10-2021)

Identifiants

Citer

Frédéric Lardeux, Eric Monfroy, Frédéric Saubion. Interleaved Alldifferent Constraints: CSP vs. SAT Approaches. 13th International Conference, AIMSA 2008, 2008, Varna, Bulgaria. pp.380-384, ⟨10.1007/978-3-540-85776-1_34⟩. ⟨hal-03350607⟩

Collections

UNIV-ANGERS LERIA
14 Consultations
42 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More