5,051 to 5,060 of 5,114 Results
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 - 2.6 GB -
MD5: ffb88deb0294c283d285d4b02b66735a
|
ZIP Archive - 2.3 GB -
MD5: bf79326dd2715a0ccf505abeadc3f591
|
ZIP Archive - 1.4 GB -
MD5: 2f2042a44bca1226d9dc27d5b769d2a2
|
ZIP Archive - 1.5 GB -
MD5: 568911a79f827ccdf5b13288c1ad9c45
|
