Explaining the AtMostSeqCard constraint - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Explaining the AtMostSeqCard constraint

Résumé

We propose an O(n) propagation-based procedure for explaining the AtMostSeqCard constraint. We evaluate it against pure CP models for solving car-sequencing benchmarks. The experimental evaluation emphasizes the importance of combining CP with SAT for solving this problem.
Fichier principal
Vignette du fichier
cpdp2013.pdf (236.83 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00871706 , version 1 (11-10-2013)

Identifiants

  • HAL Id : hal-00871706 , version 1

Citer

Mohamed Siala, Christian Artigues, Emmanuel Hébrard. Explaining the AtMostSeqCard constraint. Doctoral Program Workshop at CP2013, Sep 2013, Uppsala, Sweden. ⟨hal-00871706⟩
137 Consultations
171 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More