491 to 500 of 580 Results
ZIP Archive - 3.0 GB -
MD5: 732bec2bdf77c1a7c4f104defe93b513
|
ZIP Archive - 1.9 GB -
MD5: ef9dc2a3b960b67a82f6cc6f5204093c
|
ZIP Archive - 99.6 MB -
MD5: ba7402e47bb1848151817c7cc9a1fcc7
|
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
|
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). |