SAT-boosted Tabu Search for Coloring Massive Graphs

Open Webpage

André Schidler, Stefan Szeider

Published: 01 Jan 2023, Last Modified: 15 Aug 2024ACM J. Exp. Algorithmics 2023EveryoneRevisionsBibTeXCC BY-SA 4.0