University of Waterloo

Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures

E. Zulkoski, Bright, C. , Heinle, A. , Kotsireas, I. S. , Czarnecki, K. , and Ganesh, V. , “Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures”, J. Autom. Reason., vol. 58, pp. 313–339, 2017.

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo, ON, Canada N2L 3G1

Curtis Bright