Dataset - CKAN

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...
- HTML
SAT and Hybrid models of the Car-Sequencing problem

International audience
- HTML
SAT and Hybrid Models of the Car Sequencing Problem

International audience
- HTML

You can also access this registry using the API (see API Docs).

3 datasets found