ML Anthology
Authors
Search
About
Liang, Jia Hui
1 publications
AAAI
2016
Exponential Recency Weighted Average Branching Heuristic for SAT Solvers
Jia Hui Liang
,
Vijay Ganesh
,
Pascal Poupart
,
Krzysztof Czarnecki