University of Waterloo

The SAT+CAS paradigm and the Williamson conjecture

C. Bright, Kotsireas, I. S. , and Ganesh, V. , “The SAT+CAS paradigm and the Williamson conjecture”, ACM Commun. Comput. Algebra, vol. 52, pp. 82–84, 2018.

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo, ON, Canada N2L 3G1

Curtis Bright