@第{zbMATH07181623条，作者={Bright、Curtis和Kotsireas、Ilias和Ganesh、Vijay}，Title={将带有{SAT}解算器的计算机代数系统应用于{Williamson}猜想}，FJournal={符号计算杂志}，日志={J.Symb.Comput.}，ISSN={0747-7171}，体积={100}，页码={187--209}，年份={2020年}，语言={英语}，DOI={10.1016/j.jsc.2019.07.024}，关键词={68W30,05B20}，zbMATH={7181623}，Zbl={1432.68595}}