Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT.
Curtis BrightIlias S. KotsireasAlbert HeinleVijay GaneshPublished in: J. Symb. Comput. (2021)
Keyphrases
- computer algebra
- search algorithm
- search space
- search strategy
- pairwise
- search strategies
- theorem prover
- satisfiability problem
- real world
- arbitrary length
- search problems
- high level
- complex queries
- complex systems
- fixed length
- stochastic local search
- variable ordering
- query processing
- optimal solution
- computer algebra systems