Characterizing Tseitin-formulas with short regular resolution refutations
scientific article; zbMATH DE number 7495569
scientific article