布莱特,柯蒂斯;伊利亚斯·科齐里亚斯;阿尔伯特·海因勒;Ganesh,维杰 复杂的Golay对长达28:通过计算机代数和编程SAT进行搜索。 (英语) Zbl 1468.68276号 J.塞姆。计算。 102, 153-172 (2021).MSC公司:68伏05 2015年1月5日 11B83号 68兰特 68瓦30 94A55型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人,J.Symb。计算。102、153--172(2021年;Zbl 1468.68276) 全文: 内政部 arXiv公司
布莱特,柯蒂斯;伊利亚斯·科齐里亚斯;Ganesh,维杰 将计算机代数系统与SAT解算器应用于Williamson猜想。 (英语) Zbl 1432.68595号 J.塞姆。计算。 100, 187-209 (2020).MSC公司:68瓦30 05B20号 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人,J.Symb。计算。100187--209(2020年;Zbl 1432.68595) 全文: 内政部 arXiv公司
布莱特,柯蒂斯;德拉戈米尔·奥科维奇。;伊利亚斯·科齐里亚斯;Ganesh,维杰 SAT+CAS组合搜索方法及其在最佳矩阵中的应用。 (英语) Zbl 1434.05001号 安。数学。Artif公司。智力。 87,第4号,321-342(2019). 审核人:Ioan Tomescu(布库雷什蒂) MSC公司:05-04 05B20号 68卢比 68T27型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人,《数学年鉴》。Artif公司。智力。87,第4号,321--342(2019;Zbl 1434.05001) 全文: 内政部 arXiv公司