Export 1 results:
Filters: Keyword is SAT  [Clear All Filters]
Zulkoski, E., V. Ganesh, and K. Czarnecki, "MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers", International Joint Conference on Artificial Intelligence - Sister Conference Best Paper Track: AAAI Press, 07/2016.

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.