281 to 290 of 3,056 Results
ZIP Archive - 1.9 GB -
MD5: ef9dc2a3b960b67a82f6cc6f5204093c
|
ZIP Archive - 99.6 MB -
MD5: ba7402e47bb1848151817c7cc9a1fcc7
|
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
|
Nov 5, 2024 - Bonn Mathematics
Brand, Timo; Held, Stephan, 2024, "Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic", https://doi.org/10.60507/FK2/ZE9C3L, bonndata, V1
This dataset contains source code and consoles for computing chromatic numbers with exact decision diagrams, solving integer programs with exact arithmetic. The chromatic number of the DIMACS instance r1000.1c could be determined for the first time. There are 3 files: - ddruns_ma... |
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. |