Explaining the AtMostSeqCard constraint
URL: https://hal.science/hal-00871706
Dataset description:
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...
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 9, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 6 months ago |
| Id | 174e84da-38bc-4c53-b409-3652a683f16c |
| Package id | oai-hal-hal-00871706v1 |
| Resource type | HTML |
| State | active |
