DMCA

Cube and Conquer: Guiding CDCL SAT solvers by lookaheads (2012)

by Marijn J. H. Heule , Oliver Kullmann , Siert Wieringa , Armin Biere
Venue:In Proc. HVC 2011
Citations:19 - 9 self