TitleExponential Recency Weighted Average Branching Heuristic for SAT Solvers
Publication TypeConference Paper
Year of Publication2016
AuthorsLiang, J. Hui, V. Ganesh, P. Poupart, and K. Czarnecki
Conference NameAAAI Conference on Artificial Intelligence
Date Published02/2016
Refereed DesignationRefereed

WISE Lab logo


We are looking for postdocs and graduate students interested in working on all aspects of autonomous driving.

For more information, visit Open positions.