Login / Signup
SAT-and-Reduce for Vertex Cover: Accelerating Branch-and-Reduce by SAT Solving.
Rick Plachetta
Alexander 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