{"dcterms:modified":"2025-07-23","dcterms:creator":"bonndata","@type":"ore:ResourceMap","schema:additionalType":"Dataverse OREMap Format v1.0.1","dvcore:generatedBy":{"@type":"schema:SoftwareApplication","schema:name":"Dataverse","schema:version":"6.6 build 1829-192cdc4","schema:url":"https://github.com/iqss/dataverse"},"@id":"https://bonndata.uni-bonn.de/catalog/datasets/10.60507/FK2/ZE9C3L/exportformat/oai-ore.json","ore:describes":{"publication":{"publicationCitation":"T. Brand and S. Held: Fractional Chromatic Numbers from Exact Decision Diagrams","publicationIDType":"arXiv","publicationIDNumber":"arXiv:2411.03003","publicationURL":"https://arxiv.org/abs/2411.03003","publicationRelationType":"IsCitedBy"},"citation:datasetContact":{"citation:datasetContactName":"Held, Stephan","citation:datasetContactAffiliation":"University of Bonn","citation:datasetContactEmail":"held@dm.uni-bonn.de"},"citation:freeKeyword":{"citation:freeKeywordValue":"Graph Coloring, fractional chromatic number"},"author":[{"citation:authorName":"Brand, Timo","citation:authorAffiliation":"Technical University of Munich","authorIdentifierScheme":"ORCID","authorIdentifier":"0009-0004-3111-2045"},{"citation:authorName":"Held, Stephan","citation:authorAffiliation":"University of Bonn","authorIdentifierScheme":"ORCID","authorIdentifier":"0000-0003-2188-1559"}],"codeMeta20:softwareRequirementsItem":{"softwareRequirements":"Ubuntu 22.04"},"citation:dsDescription":{"citation:dsDescriptionValue":"This dataset contains source code and consoles for computing chromatic numbers\nwith exact decision diagrams, solving integer programs with exact arithmetic.\nThe chromatic number of the DIMACS instance r1000.1c could be determined\nfor the first time.\nThere are 3 files:\n- ddruns_main.zip contains scripts to reproduce the results\n- ddruns.tar contains the consoles and SCIP-exact certificates from our exeriments\n- ddcolors_flow_extraction.zip contains the C++ source code to compute exact decision diagrams for graph coloring."},"title":"Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic","citation:depositor":"Held, Stephan","codeRepository":["https://github.com/heldstephan/ddruns","https://github.com/trewes/ddcolors/tree/flow_extraction"],"dateOfDeposit":"2024-10-28","programmingLanguage":["C++","BASH scripts"],"kindOfData":"C++, BASH, and consoles","subject":"Mathematical Sciences","softwareHelp":"https://github.com/heldstephan/ddruns/blob/main/README.md","@id":"https://doi.org/10.60507/FK2/ZE9C3L","@type":["ore:Aggregation","schema:Dataset"],"schema:version":"1.1","schema:name":"Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic","schema:dateModified":"Fri Nov 08 13:41:17 CET 2024","schema:datePublished":"2024-11-05","schema:creativeWorkStatus":"RELEASED","schema:license":"https://mit-license.org/","dvcore:fileTermsOfAccess":{"dvcore:fileRequestAccess":false},"schema:includedInDataCatalog":"bonndata","schema:isPartOf":{"schema:name":"Bonn Mathematics","@id":"https://bonndata.uni-bonn.de/dataverse/math","schema:description":"Research data from all areas of <a href=\"https://www.mathematics.uni-bonn.de/en\">Bonn mathematics</a>.\n","schema:isPartOf":{"schema:name":"bonndata","@id":"https://bonndata.uni-bonn.de/dataverse/bonndata-root","schema:description":"<h3>bonndata is the institutional, cross-disciplinary research data repository for the publication of research data for all researchers at the University of Bonn.\n<br> bonndata is provided by the <a href=\"https://www.hrz.uni-bonn.de/de\">University IT and Data Center </a> and maintained by the <a href=\"https://www.forschungsdaten.uni-bonn.de/de\">Research Data Service Center</a>.\n<br><hr>\nReady to get started with bonndata? \n<br>\nHave a look at our <a href=\"https://confluence.team.uni-bonn.de/x/-1dqBg\">User Guide</a> to get to know the bonndata workflow, tips and tricks!\n<br><hr>\nQuestions? Need assistance? \n<br>\nGet in touch: <b> researchdata@uni-bonn.de</h3>\n<br><hr>"}},"schema:inLanguage":"en","ore:aggregates":[{"schema:description":"Data set README","schema:name":"README.md","dvcore:restricted":false,"schema:version":1,"dvcore:datasetVersionId":317,"@id":"doi:10.60507/FK2/ZE9C3L/IXMNBZ","schema:sameAs":"https://bonndata.uni-bonn.de/catalog/downloads/7731/README.md","@type":"ore:AggregatedResource","schema:fileFormat":"text/markdown","dvcore:filesize":848,"dvcore:storageIdentifier":"file://192f921e0cb-bcc3c81be2d4","dvcore:rootDataFileId":-1,"dvcore:checksum":{"@type":"MD5","@value":"d97dfaf04f65fded991377d4fb4ba0b9"}},{"schema:description":"C++ code for generating exact decision diagrams for graph coloring.","schema:name":"ddcolors-flow_extraction.zip","dvcore:restricted":false,"schema:version":1,"dvcore:datasetVersionId":317,"@id":"doi:10.60507/FK2/ZE9C3L/TOPIMC","schema:sameAs":"https://bonndata.uni-bonn.de/catalog/downloads/7730/ddcolors-flow_extraction.zip","@type":"ore:AggregatedResource","schema:fileFormat":"application/zip","dvcore:filesize":42440,"dvcore:storageIdentifier":"file://192f9109945-ecb471e8dff7","dvcore:rootDataFileId":-1,"dvcore:checksum":{"@type":"MD5","@value":"10fa4645ff4ff9d5c0504204d65a1208"}},{"schema:description":"Bash scripts to download and compile SCIP and ddcolors and for computing & solving  graph coloring ILPs based on exact decision diagrams.","schema:name":"ddruns-main.zip","dvcore:restricted":false,"schema:version":1,"dvcore:datasetVersionId":317,"@id":"doi:10.60507/FK2/ZE9C3L/4ILMKL","schema:sameAs":"https://bonndata.uni-bonn.de/catalog/downloads/7729/ddruns-main.zip","@type":"ore:AggregatedResource","schema:fileFormat":"application/zip","dvcore:filesize":26686902,"dvcore:storageIdentifier":"file://192f90f8857-24720a267ed9","dvcore:rootDataFileId":-1,"dvcore:checksum":{"@type":"MD5","@value":"293beb08800f0b928fc73551c3eb2f87"}},{"schema:description":"Tar file containing all logfiles & certificates of exact decision diagram compilations (ddlogs).","schema:name":"ddruns.tar","dvcore:restricted":false,"schema:version":1,"dvcore:datasetVersionId":317,"@id":"doi:10.60507/FK2/ZE9C3L/0NASWP","schema:sameAs":"https://bonndata.uni-bonn.de/catalog/downloads/7639/ddruns.tar","@type":"ore:AggregatedResource","schema:fileFormat":"application/x-tar","dvcore:filesize":7067473920,"dvcore:storageIdentifier":"file://192d493036d-1e390f62fd32","dvcore:rootDataFileId":-1,"dvcore:checksum":{"@type":"MD5","@value":"1f11b823ef41cf5ad062162568025430"}}],"schema:hasPart":["doi:10.60507/FK2/ZE9C3L/IXMNBZ","doi:10.60507/FK2/ZE9C3L/TOPIMC","doi:10.60507/FK2/ZE9C3L/4ILMKL","doi:10.60507/FK2/ZE9C3L/0NASWP"]},"@context":{"author":"http://purl.org/dc/terms/creator","authorIdentifier":"http://purl.org/spar/datacite/AgentIdentifier","authorIdentifierScheme":"http://purl.org/spar/datacite/AgentIdentifierScheme","citation":"https://dataverse.org/schema/citation/","codeMeta20":"https://codemeta.github.io/terms/","codeRepository":"https://schema.org/codeRepository","dateOfDeposit":"http://purl.org/dc/terms/dateSubmitted","dcterms":"http://purl.org/dc/terms/","dvcore":"https://dataverse.org/schema/core#","kindOfData":"http://rdf-vocabulary.ddialliance.org/discovery#kindOfData","ore":"http://www.openarchives.org/ore/terms/","personName":"https://schema.org/name","programmingLanguage":"https://schema.org/programmingLanguage","publication":"http://purl.org/dc/terms/isReferencedBy","publicationCitation":"http://purl.org/dc/terms/bibliographicCitation","publicationIDNumber":"http://purl.org/spar/datacite/ResourceIdentifier","publicationIDType":"http://purl.org/spar/datacite/ResourceIdentifierScheme","publicationRelationType":"http://datacite.org/schema/kernel-4/simpleTypes#relationType","publicationURL":"https://schema.org/distribution","schema":"http://schema.org/","scheme":"http://www.w3.org/2004/02/skos/core#inScheme","softwareHelp":"https://schema.org/softwareHelp","softwareRequirements":"https://schema.org/softwareRequirements","subject":"http://purl.org/dc/terms/subject","title":"http://purl.org/dc/terms/title"}}