Knowledge Compilation Languages as Proof Systems.

Florent Capelli

Browse the full SAT paper archive.