Certifying Projected Knowledge Compilation.

Randal E. Bryant, Yong Kiam Tan, Marijn J. H. Heule

Browse the full SAT paper archive.