• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Curtis BrightDragomir Z. ÐokovicIlias S. KotsireasVijay Ganesh
Published in: AAAI (2019)
Keyphrases
  • singular value decomposition
  • cooperative
  • search algorithm
  • sat solvers
  • key concepts
  • matrix representation