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]
@inproceedings{LiangGPC16,
title = {Exponential Recency Weighted Average Branching Heuristic for SAT Solvers},
author = {Jia Hui Liang and Vijay Ganesh and Pascal Poupart and Krzysztof Czarnecki},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12451},
researchr = {https://researchr.org/publication/LiangGPC16},
cites = {0},
citedby = {0},
pages = {3434-3440},
booktitle = {Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA},
editor = {Dale Schuurmans and Michael P. Wellman},
publisher = {AAAI Press},
}