Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic
收藏DataCite Commons2024-11-08 更新2025-04-09 收录
下载链接：
https://bonndata.uni-bonn.de/citation?persistentId=doi:10.60507/FK2/ZE9C3L
下载链接
链接失效反馈官方服务：
资源简介：
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_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.
提供机构：
bonndata
创建时间：
2024-10-28
