Authors Search About

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

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy