Liang, J. H., Ganesh, V. ., Poupart, P. ., & Czarnecki, K. . (2016). Exponential Recency Weighted Average Branching Heuristic for SAT Solvers. Exponential Recency Weighted Average Branching Heuristic for SAT Solvers. Presented at the. Retrieved from http://dl.acm.org/citation.cfm?id=3016100.3016385 (Original work published 2016)