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

Interleaved Alldifferent Constraints: CSP vs. SAT Approaches

Frédéric Lardeux 1 Eric Monfroy Frédéric Saubion 1
1 LERIA - Laboratoire d'Etudes et de Recherche en Informatique d'Angers
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.

Keywords : Information Storage and Retrieval Database Management Data Mining and Knowledge Discovery Artificial Intelligence (incl. Robotics) Information Systems Applications (incl.Internet)
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

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

Identifiants

Collections

UNIV-ANGERS | LERIA

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⟩

Exporter

BibTeX TEI DC DCterms EndNote Datacite

Partager

Métriques

Consultations de la notice

10

Téléchargements de fichiers

14