@misc{indiciae0898ca41e7eb,
  title = {Enumeration of Complex Golay Pairs via Programmatic SAT},
  author = {Curtis Bright and Ilias Kotsireas and Albert Heinle and Vijay Ganesh},
  year = {2018},
  doi = {10.1145/3208976.3209006},
  url = {https://arxiv.org/abs/1805.05488},
  note = {Source identifier: 1805.05488}
}