A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples

Title A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples
Author
Curtis Bright
Dragomir c
Ilias Kotsireas
Vijay Ganesh
Year of Publication
2019
Conference Name
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples
URL
https://arxiv.org/abs/1811.05094
Download citation