Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT.
Curtis BrightIlias S. KotsireasAlbert HeinleVijay GaneshPublished in: CoRR (2019)
Keyphrases
- computer algebra
- search algorithm
- search strategies
- complex systems
- fixed length
- search strategy
- pairwise
- artificial intelligence
- stochastic local search
- search problems
- theorem prover
- user queries
- data structure
- real world
- satisfiability problem
- information seeking
- search methods
- complex queries
- probabilistic model
- backtracking search