Conflict-Based Selection of Branching Rules.

Marc Herbstritt, Bernd Becker

Browse the full SAT paper archive.