Zulkoski, Edward

1 publications

IJCAI 2016 MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki