University of Waterloo

A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples

C. Bright, Ðoković, D. Ž. , Kotsireas, I. , and Ganesh, V. , “A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples”, in Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019.

Last updated on 07/28/2019

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo, ON, Canada N2L 3G1

Curtis Bright