Data · dataset · 2024
Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic
Listed in bonndata
This dataset contains source code and consoles for computing chromatic numbers with exact decision diagrams, solving integer programs with exact arithmetic.
Description
The chromatic number of the DIMACS instance r1000.1c could be determined for the first time. There are 3 files: - ddruns_main.zip contains scripts to reproduce the results - ddruns.tar contains the consoles and SCIP-exact certificates from our exeriments - ddcolors_flow_extraction.zip contains the C++ source code to compute exact decision diagrams for graph coloring.
Links
Where it is published
- Dataverse dataset page bonndata.uni-bonn.de/dataset.xhtml?persistentId=doi%3A10.60507%2FFK2%2FZE9C3L ↗
landing page · from bonndata uni bonn de
- DOI doi.org/10.60507/fk2/ze9c3l ↗
DOI / persistent id · from bonndata uni bonn de
Catalogue records · 1
- Dataverse API bonndata.uni-bonn.de/api/datasets/:persistentId/?persistentId=doi%3A10.60507%2FFK2%… ↗
metadata API · from bonndata uni bonn de
Topics
- Stated by source
- Mathematical Sciences
- From keywords
- Mathematics & Statistics
Provenance · 1 source records, 8 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| bonndata | doi:10.60507/FK2/ZE9C3L | 10 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].dataverse_subject:mathematical-sciences | source · bonndata uni bonn de | connector:bonndata_uni_bonn_de@1.0.0 | /subjects |
| concepts[field].local:field:mathematics-statistics | mapping · bonndata uni bonn de | connector:bonndata_uni_bonn_de@1.0.0 | /subjects |
| created_date | source · bonndata uni bonn de | connector:bonndata_uni_bonn_de@1.0.0 | |
| description | source · bonndata uni bonn de | connector:bonndata_uni_bonn_de@1.0.0 | /description |
| publication_date | source · bonndata uni bonn de | connector:bonndata_uni_bonn_de@1.0.0 | |
| title | source · bonndata uni bonn de | connector:bonndata_uni_bonn_de@1.0.0 | /name |
| updated_date | source · bonndata uni bonn de | connector:bonndata_uni_bonn_de@1.0.0 | |
| version_label | source · bonndata uni bonn de | connector:bonndata_uni_bonn_de@1.0.0 |