TY  - RPRT
TI  - A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples
AU  - Curtis Bright
AU  - Dragomir Z. Djokovic
AU  - Ilias Kotsireas
AU  - Vijay Ganesh
PY  - 2018
DO  - 10.1609/aaai.v33i01.33011435
UR  - https://arxiv.org/abs/1811.05094
ID  - 1811.05094
ER  -