Learning Rate Based Branching Heuristic for SAT Solvers.

Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki

Browse the full SAT paper archive.