The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices.

Curtis Bright Dragomir Z. Dokovic Ilias S. Kotsireas Vijay Ganesh

Published in: CoRR (2019)

Keyphrases

combinatorial search
cost function
distance function
pattern recognition
pairwise
dynamic programming
query language