@conference {DBLP:conf/issac/BrightKHG18,
	title = {Enumeration of Complex Golay Pairs via Programmatic SAT},
	booktitle = {Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018},
	year = {2018},
	pages = {111{\textendash}118},
	publisher = {ACM},
	organization = {ACM},
	doi = {10.1145/3208976.3209006},
	url = {https://doi.org/10.1145/3208976.3209006},
	author = {Curtis Bright and Ilias S. Kotsireas and Albert Heinle and Vijay Ganesh},
	editor = {Manuel Kauers and Alexey Ovchinnikov and {\'E}ric Schost}
}
