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

Rick Plachetta, Alexander van der Grinten

Browse the full ALENEX paper archive.