Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Interleaved Alldifferent Constraints: CSP vs. SAT Approaches

Abstract :

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.

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03350607
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : jeudi 14 octobre 2021 - 16:02:30
Dernière modification le : vendredi 10 décembre 2021 - 10:25:30
Archivage à long terme le : : samedi 15 janvier 2022 - 19:20:55

Fichier

AIMSA08.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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⟩

Partager

Métriques

Consultations de la notice

10

Téléchargements de fichiers

14