C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
The SAT+CAS method for combinatorial search with applications to best matrices.
Curtis Bright
Dragomir Z. Dokovic
Ilias S. Kotsireas
Vijay Ganesh
Published in:
Ann. Math. Artif. Intell. (2019)
Keyphrases
</>
cost function
computational complexity
objective function
pairwise
upper bound
phase transition
search problems
combinatorial search