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