Zulkoski, E. ., Ganesh, V. ., & Czarnecki, K. . (2016). MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. Presented at the. AAAI Press. (Original work published 2016)
Publications
Filter by:
Zulkoski, E. ., Martins, R. ., Wintersteiger, C. ., Robere, R. ., Liang, J. H., Czarnecki, K. ., & Ganesh, V. . (2017). Empirically Relating Complexity-theoretic Parameters with SAT Solver Performance. Empirically Relating Complexity-Theoretic Parameters With SAT Solver Performance. Presented at the. EPIC. (Original work published 2017)
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, 58, 339. https://doi.org/10.1007/s10817-016-9396-y (Original work published 2011)
Zulkoski, E. . (2018). Understanding and Enhancing CDCL-based SAT Solvers. Waterloo. Retrieved from https://uwspace.uwaterloo.ca/handle/10012/13525 (Original work published 2018)