How Good Are Branching Rules in DPLL?

Ming Ouyang. How Good Are Branching Rules in DPLL?. Discrete Applied Mathematics, 89(1-3):281-286, 1998. [doi]

Abstract

Abstract is missing.