SAT-and-Reduce for Vertex Cover: Accelerating Branch-and-Reduce by SAT Solving. - Rick Plachetta; Alexander van der Grinten (ALENEX, 2021)