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

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

Published in: AAAI (2019)

Keyphrases

singular value decomposition
cooperative
search algorithm
sat solvers
key concepts
matrix representation