On the complexity of choosing the branching literal in DPLL
scientific article; zbMATH DE number 1454128