Skip to main Skip to footer

University of Waterloo

Applying computer algebra systems with SAT solvers to the Williamson conjecture

Citation:

C. Bright, Kotsireas, I. , and Ganesh, V. , “Applying computer algebra systems with SAT solvers to the Williamson conjecture”, Journal of Symbolic Computation, 2019.

Abstract:

Notes:

Publisher's Version

University of Waterloo

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo, ON, Canada N2L 3G1

Log in