Published May 18, 2023
| Version v1
Software
Open
SAT-Boosted Tabu Search for Coloring Massive Graphs - Code
Description
The source code for the paper of the same name.
Files
coloring-master.zip
Files
(79.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1841753ac10d2b61edeca3e2278e0eeb
|
79.9 MB | Preview Download |