University of Waterloo

The SAT+CAS method for combinatorial search with applications to best matrices

C. Bright, Dokovic, D. Z. , Kotsireas, I. S. , and Ganesh, V. , “The SAT+CAS method for combinatorial search with applications to best matrices”, Ann. Math. Artif. Intell., vol. 87, pp. 321–342, 2019.

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo, ON, Canada N2L 3G1

Curtis Bright