Integration of supercubing and learning in a SAT solver.

Domagoj Babic, Alan J. Hu

Browse the full ASPDAC paper archive.