(1)
Bright, C.; Ðoković, D. Ž.; Kotsireas, I.; Ganesh, V. A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. AAAI 2019, 33, 1435-1442.