231 to 240 of 2,831 Results
Plain Text - 3.0 KB -
MD5: 7de6cb9be370690e85fc907884142a35
|
ZIP Archive - 34.2 MB -
MD5: c9c2465dc7190ea3c205523970e6d74b
|
ZIP Archive - 38.6 MB -
MD5: 9ebef822742a5a9985d98e62f054f83f
|
ZIP Archive - 2.2 GB -
MD5: e8710ba2d8970f8d50ef99bd4bd92140
|
ZIP Archive - 2.0 GB -
MD5: a8015bb618bcae0bbd0ad7d7736e646a
|
Markdown Text - 848 B -
MD5: d97dfaf04f65fded991377d4fb4ba0b9
Data set README |
ZIP Archive - 41.4 KB -
MD5: 10fa4645ff4ff9d5c0504204d65a1208
C++ code for generating exact decision diagrams for graph coloring. |
ZIP Archive - 25.5 MB -
MD5: 293beb08800f0b928fc73551c3eb2f87
Bash scripts to download and compile SCIP and ddcolors and for computing & solving graph coloring ILPs based on exact decision diagrams. |
TAR Archive - 6.6 GB -
MD5: 1f11b823ef41cf5ad062162568025430
Tar file containing all logfiles & certificates of exact decision diagram compilations (ddlogs). |
Plain Text - 10.5 KB -
MD5: eb50ea99bbfcf735237bae7218ebcf49
|