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