A sharp threshold in proof complexity yields lower bounds for satisfiability search
scientific article; zbMATH DE number 2117372
scientific article