Bright, C., c, D. \v Z. \DHokovi\, Kotsireas, I., & Ganesh, V. (2019). A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples Presented at the A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples conference. Retrieved from https://arxiv.org/abs/1811.05094