Proof Complexity of Propositional Default Logic.

Olaf Beyersdorff, Arne Meier, Sebastian Mller, Michael Thomas, Heribert Vollmer

Browse the full SAT paper archive.