View of Characterizing Tseitin-Formulas with Short Regular Resolution Refutations

Return to Article Details Characterizing Tseitin-Formulas with Short Regular Resolution Refutations Download Download PDF