Published June 9, 2025 | Version v1
Dataset Open

Data collection for "Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems"

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