Explaining the AtMostSeqCard constraint

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.

Data and Resources

Additional Info

Field Value
Source Doctoral Program Workshop at CP2013
Author Siala, Mohamed, Artigues, Christian, Hébrard, Emmanuel
Maintainer CCSD
Last Updated May 9, 2026, 10:18 (UTC)
Created May 9, 2026, 10:18 (UTC)
Identifier hal-00871706
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC) ; Laboratoire d'analyse et d'architecture des systèmes (LAAS) ; Université Toulouse Capitole (UT Capitole) ; Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse) ; Institut National des Sciences Appliquées (INSA)-Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Institut National des Sciences Appliquées (INSA)-Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Université Toulouse - Jean Jaurès (UT2J) ; Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Université Toulouse III - Paul Sabatier (UT3) ; Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP) ; Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Université Toulouse Capitole (UT Capitole) ; Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse) ; Institut National des Sciences Appliquées (INSA)-Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Institut National des Sciences Appliquées (INSA)-Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Université Toulouse - Jean Jaurès (UT2J) ; Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Université Toulouse III - Paul Sabatier (UT3) ; Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP) ; Communauté d'universités et établissements de Toulouse (Comue de Toulouse)
coverage Uppsala, Sweden
creator Siala, Mohamed
date 2013-09-16T00:00:00
harvest_object_id 6b93cd99-1e1b-46bf-b400-92fc09209b53
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-10-22T00:00:00
set_spec type:COMM