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
URLhttp://dl.acm.org/citation.cfm?id=3016100.3016385
Refereed DesignationRefereed

WISE Lab logo

Opportunities

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

For more information, visit Open positions.