{"id":7636,"identifier":"FK2/ZE9C3L","persistentUrl":"https://doi.org/10.60507/FK2/ZE9C3L","protocol":"doi","authority":"10.60507","separator":"/","publisher":"bonndata","publicationDate":"2024-11-05","storageIdentifier":"file://10.60507/FK2/ZE9C3L","metadataLanguage":"en","datasetType":"dataset","datasetVersion":{"id":317,"datasetId":7636,"datasetPersistentId":"doi:10.60507/FK2/ZE9C3L","storageIdentifier":"file://10.60507/FK2/ZE9C3L","versionNumber":1,"versionMinorNumber":1,"versionState":"RELEASED","latestVersionPublishingState":"RELEASED","deaccessionLink":"","lastUpdateTime":"2024-11-08T12:41:17Z","releaseTime":"2024-11-08T12:41:17Z","createTime":"2024-11-07T13:39:01Z","publicationDate":"2024-11-05","citationDate":"2024-11-05","license":{"name":"MIT","uri":"https://mit-license.org/","iconUri":"/imglibs/logos/lic/mit.svg"},"fileAccessRequest":false,"metadataBlocks":{"citation":{"displayName":"Citation Metadata","name":"citation","fields":[{"typeName":"title","multiple":false,"typeClass":"primitive","value":"Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic"},{"typeName":"author","multiple":true,"typeClass":"compound","value":[{"authorName":{"typeName":"authorName","multiple":false,"typeClass":"primitive","value":"Brand, Timo"},"authorAffiliation":{"typeName":"authorAffiliation","multiple":false,"typeClass":"primitive","value":"Technical University of Munich"},"authorIdentifierScheme":{"typeName":"authorIdentifierScheme","multiple":false,"typeClass":"controlledVocabulary","value":"ORCID"},"authorIdentifier":{"typeName":"authorIdentifier","multiple":false,"typeClass":"primitive","value":"0009-0004-3111-2045"}},{"authorName":{"typeName":"authorName","multiple":false,"typeClass":"primitive","value":"Held, Stephan"},"authorAffiliation":{"typeName":"authorAffiliation","multiple":false,"typeClass":"primitive","value":"University of Bonn"},"authorIdentifierScheme":{"typeName":"authorIdentifierScheme","multiple":false,"typeClass":"controlledVocabulary","value":"ORCID"},"authorIdentifier":{"typeName":"authorIdentifier","multiple":false,"typeClass":"primitive","value":"0000-0003-2188-1559"}}]},{"typeName":"datasetContact","multiple":true,"typeClass":"compound","value":[{"datasetContactName":{"typeName":"datasetContactName","multiple":false,"typeClass":"primitive","value":"Held, Stephan"},"datasetContactAffiliation":{"typeName":"datasetContactAffiliation","multiple":false,"typeClass":"primitive","value":"University of Bonn"},"datasetContactEmail":{"typeName":"datasetContactEmail","multiple":false,"typeClass":"primitive","value":"held@dm.uni-bonn.de"}}]},{"typeName":"dsDescription","multiple":true,"typeClass":"compound","value":[{"dsDescriptionValue":{"typeName":"dsDescriptionValue","multiple":false,"typeClass":"primitive","value":"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."}}]},{"typeName":"subject","multiple":true,"typeClass":"controlledVocabulary","value":["Mathematical Sciences"]},{"typeName":"freeKeyword","multiple":true,"typeClass":"compound","value":[{"freeKeywordValue":{"typeName":"freeKeywordValue","multiple":false,"typeClass":"primitive","value":"Graph Coloring, fractional chromatic number"}}]},{"typeName":"publication","multiple":true,"typeClass":"compound","value":[{"publicationRelationType":{"typeName":"publicationRelationType","multiple":false,"typeClass":"controlledVocabulary","value":"IsCitedBy"},"publicationCitation":{"typeName":"publicationCitation","multiple":false,"typeClass":"primitive","value":"T. Brand and S. Held: Fractional Chromatic Numbers from Exact Decision Diagrams"},"publicationIDType":{"typeName":"publicationIDType","multiple":false,"typeClass":"controlledVocabulary","value":"arXiv"},"publicationIDNumber":{"typeName":"publicationIDNumber","multiple":false,"typeClass":"primitive","value":"arXiv:2411.03003"},"publicationURL":{"typeName":"publicationURL","multiple":false,"typeClass":"primitive","value":"https://arxiv.org/abs/2411.03003"}}]},{"typeName":"depositor","multiple":false,"typeClass":"primitive","value":"Held, Stephan"},{"typeName":"dateOfDeposit","multiple":false,"typeClass":"primitive","value":"2024-10-28"},{"typeName":"kindOfData","multiple":true,"typeClass":"primitive","value":["C++, BASH, and consoles"]}]},"codeMeta20":{"displayName":"Software Metadata (CodeMeta v2.0)","name":"codeMeta20","fields":[{"typeName":"codeRepository","multiple":true,"typeClass":"primitive","value":["https://github.com/heldstephan/ddruns","https://github.com/trewes/ddcolors/tree/flow_extraction"]},{"typeName":"programmingLanguage","multiple":true,"typeClass":"primitive","value":["C++","BASH scripts"]},{"typeName":"softwareRequirementsItem","multiple":true,"typeClass":"compound","value":[{"softwareRequirements":{"typeName":"softwareRequirements","multiple":false,"typeClass":"primitive","value":"Ubuntu 22.04"}}]},{"typeName":"softwareHelp","multiple":true,"typeClass":"primitive","value":["https://github.com/heldstephan/ddruns/blob/main/README.md"]}]}},"files":[{"description":"Data set README","label":"README.md","restricted":false,"version":1,"datasetVersionId":317,"dataFile":{"id":7731,"persistentId":"doi:10.60507/FK2/ZE9C3L/IXMNBZ","pidURL":"https://doi.org/10.60507/FK2/ZE9C3L/IXMNBZ","filename":"README.md","contentType":"text/markdown","friendlyType":"Markdown Text","filesize":848,"description":"Data set README","storageIdentifier":"file://192f921e0cb-bcc3c81be2d4","rootDataFileId":-1,"md5":"d97dfaf04f65fded991377d4fb4ba0b9","checksum":{"type":"MD5","value":"d97dfaf04f65fded991377d4fb4ba0b9"},"tabularData":false,"creationDate":"2024-11-04","publicationDate":"2024-11-05","fileAccessRequest":false}},{"description":"C++ code for generating exact decision diagrams for graph coloring.","label":"ddcolors-flow_extraction.zip","restricted":false,"version":1,"datasetVersionId":317,"dataFile":{"id":7730,"persistentId":"doi:10.60507/FK2/ZE9C3L/TOPIMC","pidURL":"https://doi.org/10.60507/FK2/ZE9C3L/TOPIMC","filename":"ddcolors-flow_extraction.zip","contentType":"application/zip","friendlyType":"ZIP Archive","filesize":42440,"description":"C++ code for generating exact decision diagrams for graph coloring.","storageIdentifier":"file://192f9109945-ecb471e8dff7","rootDataFileId":-1,"md5":"10fa4645ff4ff9d5c0504204d65a1208","checksum":{"type":"MD5","value":"10fa4645ff4ff9d5c0504204d65a1208"},"tabularData":false,"creationDate":"2024-11-04","publicationDate":"2024-11-05","fileAccessRequest":false}},{"description":"Bash scripts to download and compile SCIP and ddcolors and for computing & solving  graph coloring ILPs based on exact decision diagrams.","label":"ddruns-main.zip","restricted":false,"version":1,"datasetVersionId":317,"dataFile":{"id":7729,"persistentId":"doi:10.60507/FK2/ZE9C3L/4ILMKL","pidURL":"https://doi.org/10.60507/FK2/ZE9C3L/4ILMKL","filename":"ddruns-main.zip","contentType":"application/zip","friendlyType":"ZIP Archive","filesize":26686902,"description":"Bash scripts to download and compile SCIP and ddcolors and for computing & solving  graph coloring ILPs based on exact decision diagrams.","storageIdentifier":"file://192f90f8857-24720a267ed9","rootDataFileId":-1,"md5":"293beb08800f0b928fc73551c3eb2f87","checksum":{"type":"MD5","value":"293beb08800f0b928fc73551c3eb2f87"},"tabularData":false,"creationDate":"2024-11-04","publicationDate":"2024-11-05","fileAccessRequest":false}},{"description":"Tar file containing all logfiles & certificates of exact decision diagram compilations (ddlogs).","label":"ddruns.tar","restricted":false,"version":1,"datasetVersionId":317,"dataFile":{"id":7639,"persistentId":"doi:10.60507/FK2/ZE9C3L/0NASWP","pidURL":"https://doi.org/10.60507/FK2/ZE9C3L/0NASWP","filename":"ddruns.tar","contentType":"application/x-tar","friendlyType":"TAR Archive","filesize":7067473920,"description":"Tar file containing all logfiles & certificates of exact decision diagram compilations (ddlogs).","storageIdentifier":"file://192d493036d-1e390f62fd32","rootDataFileId":-1,"md5":"1f11b823ef41cf5ad062162568025430","checksum":{"type":"MD5","value":"1f11b823ef41cf5ad062162568025430"},"tabularData":false,"creationDate":"2024-10-28","publicationDate":"2024-11-05","fileAccessRequest":false}}],"citation":"Brand, Timo; Held, Stephan, 2024, \"Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic\", https://doi.org/10.60507/FK2/ZE9C3L, bonndata, V1"}}