Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method.

Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek

Browse the full IJCAI paper archive.