Marijn Heule, Oliver Kullmann, Siert Wieringa, Armin Biere. Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads. In Kerstin Eder, João Lourenço, Onn Shehory, editors, Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Volume 7261 of Lecture Notes in Computer Science, pages 50-65, Springer, 2011. [doi]
Abstract is missing.