Published June 9, 2025
| Version v1
Dataset
Open
Data collection for "Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems"
Creators
Description
This bundle contains:
- instance collections we used for the experimental evaluation in FlatZinc format (as well as the MiniZinc models we used for running CP-SAT),
- and raw logs of all experimental runs reported in the paper.
Files
Files
(507.0 MB)
Name | Size | Download all |
---|---|---|
md5:3b38d46214957c98ef05734504a8eadb
|
40.9 MB | Download |
md5:1378de3475ca2619f5ee9f8b14954673
|
466.1 MB | Download |