@inproceedings{96,
  author = {Jia Liang and Vijay Ganesh and Pascal Poupart and Krzysztof Czarnecki},
  title = {Exponential Recency Weighted Average Branching Heuristic for SAT Solvers},
  year = {2016},
  journal = {Exponential Recency Weighted Average Branching Heuristic for SAT Solvers},
  month = {02/2016},
  url = {http://dl.acm.org/citation.cfm?id=3016100.3016385},
}