Enumeration of Complex Golay Pairs via Programmatic SAT.

Curtis Bright Ilias S. Kotsireas Albert Heinle Vijay Ganesh

Published in: CoRR (2018)

Keyphrases

high level
real world
pairwise
dynamic programming
sat solvers
neural network
data mining
higher level
complex systems
complex data