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 |