@proceedings {662,
	title = {Exponential Recency Weighted Average Branching Heuristic for SAT Solvers},
	journal = {AAAI 2016},
	year = {2016},
	month = {02/2016},
	address = {Phoenix, Arizona},
	author = {Jia Liang and Vijay Ganesh and Pascal Poupart and Krzysztof Czarnecki}
}