SAT-Boosted Tabu Search for Coloring Massive Graphs

Schidler, Andre; Szeider, Stefan

by Andre Schidler, Stefan Szeider

Reference:

SAT-Boosted Tabu Search for Coloring Massive GraphsAndre Schidler, Stefan SzeiderJ. Exp. Algorithmics, 2023.Note: to appear

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},
  note      = {to appear},
    keywords = {reveal,slim},
}