Exponential Recency Weighted Average Branching Heuristic for SAT Solvers

Title Exponential Recency Weighted Average Branching Heuristic for SAT Solvers
Author
Jia Liang
Vijay Ganesh
Pascal Poupart
Krzysztof Czarnecki
Year of Publication
2016
Conference Name
Exponential Recency Weighted Average Branching Heuristic for SAT Solvers
Date Published
02/2016
URL
http://dl.acm.org/citation.cfm?id=3016100.3016385
Download citation