Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers.

Renato Bruni, Andrea Santori

Browse the full SAT paper archive.