Exponential Recency Weighted Average Branching Heuristic for SAT Solvers

TitleExponential Recency Weighted Average Branching Heuristic for SAT Solvers
Publication TypeConference Proceedings
Year of Publication2016
AuthorsLiang, J., V. Ganesh, P. Poupart, and K. Czarnecki
Conference NameAAAI 2016
Series TitleProceedings of the 30th Conference on Artificial Intelligence (AAAI 2016)
Date Published02/2016
Conference LocationPhoenix, Arizona
Refereed DesignationRefereed