Login / Signup

SAT-and-Reduce for Vertex Cover: Accelerating Branch-and-Reduce by SAT Solving.

Rick PlachettaAlexander van der Grinten
Published in: ALENEX (2021)
Keyphrases
  • sat solving
  • sat solvers
  • vertex cover
  • search algorithm
  • evolutionary algorithm
  • special case
  • dynamic programming
  • orders of magnitude