Reference author: Ed Zulkoski

Zulkoski, E. (2018). Understanding and Enhancing CDCL-based SAT Solvers Retrieved from https://uwspace.uwaterloo.ca/handle/10012/13525

Zulkoski, E., Bright, C., Heinle, A., Kotsireas, I., Czarnecki, K., & Ganesh, V. (2017). Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures Journal of Automated Reasoning. https://doi.org/10.1007/s10817-016-9396-y

Zulkoski, E., Ganesh, V., & Czarnecki, K. (2016). MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers Presented at the MathCheck: A Math Assistant Based on a Combination of Computer Algebra Systems and SAT Solvers conference. Retrieved from https://www.ijcai.org/Proceedings/16/Papers/636.pdf

Zulkoski, E., Ganesh, V., & Czarnecki, K. (2015). MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers Presented at the MathCheck: A Math Assistant Based on a Combination of Computer Algebra Systems and SAT Solvers conference. https://doi.org/10.1007/978-3-319-21401-6_41