@第{zbMATH07249901条，作者={Bright、Curtis和Kotsireas、Ilias和Heinle、Albert和Ganesh、Vijay}，标题={复杂{Golay}对长达28：通过计算机代数和编程{SAT}}进行搜索，FJournal={符号计算杂志}，日志={J.Symb.Comput.}，ISSN={0747-7171}，体积＝{102}，页码={153--172}，年份={2021}，语言={英语}，DOI={10.1016/j.jsc.2019.1013}，关键词={68V05,05A15,11B83,68R07,68W30,94A55}，zbMATH＝{7249901}，Zbl={1468.68276}}