Concurrent Cube-and-Conquer

Peter van der Tak, Marijn J. H. Heule, Armin Biere

Recent work introduced the cube-and-conquer technique to solve hard SAT instances. It partitions the search space into cubes using a lookahead solver. Each cube is tackled by a con…