SAT-Boosted Tabu Search for Coloring Massive Graphs

Andre Schidler, Stefan Szeider
January 2023
Cite Project Project DOI
Type
Journal Article
Reveal Slim
Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.