Edward Zulkoski

1 papers · 2016–2016 · 1 conference · across top CS/AI conferences

Conferences

IJCAI (1)

Top co-authors

Krzysztof Czarnecki (1) Vijay Ganesh (1)

Papers

MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers IJCAI 2016