An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate.

Jia Hui Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh

Browse the full SAT paper archive.