by Andre Schidler, Stefan Szeider
Reference:
SAT-Boosted Tabu Search for Coloring Massive GraphsAndre Schidler, Stefan SzeiderJ. Exp. Algorithmics, volume 2825, number 1.5, pages 1–19, 2023.
Bibtex Entry:
@string{jea="J. Exp. Algorithmics"}
@Article{SchidlerSzeider23b,
author = {Andre Schidler and Stefan Szeider},
title = {{SAT}-Boosted Tabu Search for Coloring Massive Graphs},
journal = JEA,
year = {2023},
volume = {2825},
number = {1.5},
pages = {1--19},
doi = {10.1145/3603112},
keywords = {reveal,slim},
}