Data collection for "Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems"
收藏官方服务：
资源简介：
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.
提供机构：
Zenodo创建时间：
2025-06-09
