Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki. Exponential Recency Weighted Average Branching Heuristic for SAT Solvers. In Dale Schuurmans, Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. pages 3434-3440, AAAI Press, 2016. [doi]
Abstract is missing.