SAT-Boosted Tabu Search for Coloring Massive Graphs

Abstract

Full Citation:

Andre Schidler, Stefan Szeider. SAT-Boosted Tabu Search for Coloring Massive Graphs. J. Exp. Algorithmics, volume 2825, number 1.5, pages 1-19, 2023.

Stefan Szeider

Head of Research Unit

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