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. Djokovic
Ilias S. Kotsireas
Vijay Ganesh
Published in:
CoRR (2018)
Keyphrases
</>
training examples
singular value decomposition
cooperative
search algorithm
np hard
constraint satisfaction
search strategies