J. Liang, V. Ganesh, P. Poupart, and K. Czarnecki, “Exponential Recency Weighted Average Branching Heuristic for SAT Solvers”, AAAI, vol. 30, no. 1, Mar. 2016.