101 to 110 of 186 Results
ZIP Archive - 38.6 MB -
MD5: 9ebef822742a5a9985d98e62f054f83f
|
ZIP Archive - 2.2 GB -
MD5: e8710ba2d8970f8d50ef99bd4bd92140
|
ZIP Archive - 2.0 GB -
MD5: a8015bb618bcae0bbd0ad7d7736e646a
|
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). |
ZIP Archive - 1.7 GB -
MD5: 02efed810eef3a299c5efe39ccb62ed3
|
ZIP Archive - 1.7 GB -
MD5: 2d2d045947428bab20e508f7f06f2398
|
ZIP Archive - 47.3 MB -
MD5: 671301e1c62dbdf9eb22d2980ae777da
|
ZIP Archive - 2.6 GB -
MD5: ffb88deb0294c283d285d4b02b66735a
|