@inproceedings{1,
  author = {Curtis Bright and Dragomir c and Ilias Kotsireas and Vijay Ganesh},
  title = {A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples},
  year = {2019},
  journal = {A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples},
  url = {https://arxiv.org/abs/1811.05094},
}