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]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...