Edward Zulkoski

1 paper in the IJCAI proceedings

IJCAI 2016

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

with Vijay Ganesh, Krzysztof Czarnecki

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings