@inproceedings{3,
  author = {Curtis Bright and Ilias Kotsireas and Albert Heinle and Vijay Ganesh},
  title = {Enumeration of Complex Golay Pairs via Programmatic SAT},
  year = {2018},
  journal = {Enumeration of Complex Golay Pairs via Programmatic SAT},
  url = {https://dl.acm.org/citation.cfm?id=3209006},
  doi = {10.1145/3208976.3209006},
}