@article{SchidlerSzeider23b,
 author = {Andre Schidler and Stefan Szeider},
 doi = {10.1145/3603112},
 journal = {J. Exp. Algorithmics},
 keywords = {reveal, slim},
 number = {1.5},
 pages = {1--19},
 title = {{SAT}-Boosted Tabu Search for Coloring Massive Graphs},
 volume = {2825},
 year = {2023}
}