961 to 970 of 1,031 Results
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
|
ZIP Archive - 2.3 GB -
MD5: bf79326dd2715a0ccf505abeadc3f591
|
ZIP Archive - 249.9 MB -
MD5: 2e1eab22a8d5f896229512429439a34e
|
ZIP Archive - 1.4 GB -
MD5: 2f2042a44bca1226d9dc27d5b769d2a2
|
