Published March 30, 2023
| Version v1
Dataset
Open
SAT-Boosted Tabu Search for Coloring Massive Graphs - Experiments
Description
The experimental data for the paper of the same name.
Files
gc-results.zip
Files
(14.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:b3a8e7e263ccdb5c269b775049326120
|
14.5 kB | Preview Download |