Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers. - Renato Bruni; Andrea Santori (SAT, 2004)

New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability. - Renato Bruni; Andrea Santori (Discret. Optim., 2008)