C. Bright, Ðoković, D. Ž. , Kotsireas, I. S. , and Ganesh, V. , “A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples”, in The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Hono, 2019, pp. 1435–1442.