University of Waterloo

Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures

E. Zulkoski, Bright, C. , Heinle, A. , Kotsireas, I. , Czarnecki, K. , and Ganesh, V. , “Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures”, Journal of Automated Reasoning, 2017.

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo, ON, Canada N2L 3G1

Curtis Bright