Exponential Recency Weighted Average Branching Heuristic for SAT Solvers.

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

Browse the full AAAI paper archive.