SAT-Boosted Tabu Search for Coloring Massive Graphs

Schidler, Andre; Szeider, Stefan

doi:10.1145/3603112

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},
}