Accéder directement au contenu Accéder directement à la navigation
Nouvelle interface
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 : Artificial Intelligence (incl. Robotics) Data Mining and Knowledge Discovery Database Management Information Storage and Retrieval 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 : lundi 14 novembre 2022 - 02:42:07
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

11

Téléchargements de fichiers

19