Certified Knowledge Compilation with Application to Verified Model Counting.

Randal E. Bryant, Wojciech Nawrocki, Jeremy Avigad, Marijn J. H. Heule

Browse the full SAT paper archive.