C. Bright, D. Ž. Ðoković, I. Kotsireas, and V. Ganesh, “A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples”, AAAI, vol. 33, no. 01, pp. 1435–1442, Jul. 2019.