Enumeration of Complex Golay Pairs via Programmatic SAT.

Curtis Bright Ilias S. Kotsireas Albert Heinle Vijay Ganesh

Published in: ISSAC (2018)

Keyphrases

data sets
high level
search algorithm
pairwise
search space
information retrieval
information systems
higher level
sat solvers