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

Curtis Bright, Dragomir Z. okovic, Ilias S. Kotsireas, Vijay Ganesh

Browse the full AAAI paper archive.