From Clauses to Klauses.

Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant

Browse the full CAV paper archive.