View of Polynomial Bounded Proof Complexities for Some Classes of DNF-Tautologies

Return to Article Details Polynomial Bounded Proof Complexities for Some Classes of DNF-Tautologies Download Download PDF