A Little Blocked Literal Goes a Long Way.

Benjamin Kiesl, Marijn J. H. Heule, Martina Seidl

Browse the full SAT paper archive.