Improving Propositional Satisfiability Algorithms by Dyna mic Selection of Branching Rules