University of Waterloo

Applying computer algebra systems with SAT solvers to the Williamson conjecture

C. Bright, Kotsireas, I. S. , and Ganesh, V. , “Applying computer algebra systems with SAT solvers to the Williamson conjecture”, J. Symb. Comput., vol. 100, pp. 187–209, 2020.

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo, ON, Canada N2L 3G1

Curtis Bright