New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability