C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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