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.

Domaines

Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
cpdp2013.pdf (236.83 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Mohamed Siala  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00871706

Soumis le : vendredi 11 octobre 2013-10:44:03

Dernière modification le : lundi 20 novembre 2023-11:44:22

Archivage à long terme le : vendredi 7 avril 2017-08:54:54

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INSA-TOULOUSE LAAS LAAS-ROC UT1-CAPITOLE LAAS-DECISION-ET-OPTIMISATION INSA-GROUPE INSA-TOULOUSE-GEI TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
133 Consultations
164 Téléchargements

Partager

Gmail Facebook X LinkedIn More