布莱特，柯蒂斯;伊利亚斯·科齐里亚斯;阿尔伯特·海因勒;维杰·加内什 复杂的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公司
布莱特，柯蒂斯;张凯文·K·H。;布雷特·史蒂文斯;伊利亚斯·科齐里亚斯;维杰·加内什 十阶射影平面中椭圆的不存在证明。 （英语） Zbl 07601001号 Gąsieniec，Leszek（编辑）等人，《组合算法》。第31届国际研讨会，IWOCA 2020，法国波尔多，2020年6月8日至10日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。12126, 97-111 (2020).MSC公司：68瑞克斯 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人，Lect。注释计算。科学。12126，97--111（2020；Zbl 07601001） 全文： 内政部 arXiv公司
布莱特，柯蒂斯;张凯文;布雷特·史蒂文斯;多米尼克·罗伊;伊利亚斯·科齐里亚斯;维杰·加内什 权重为15个码字的10阶投影平面的不存在性证明。 （英语） Zbl 1460.68098号 申请。代数工程通讯。计算。 31,3-4195-213号（2020年）.MSC公司：68T20型 05B25号 51E20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人，应用。代数工程通讯。计算。31，编号3--4，195-213（2020；Zbl 1460.68098） 全文： 内政部 arXiv公司
布莱特，柯蒂斯;伊利亚斯·科齐里亚斯;维杰·加内什 将计算机代数系统与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公司
布莱特，柯蒂斯;德拉戈米尔·奥科维奇。;伊利亚斯·科齐里亚斯;维杰·加内什 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公司
爱德华·祖尔科斯基;布莱特，柯蒂斯;阿尔伯特·海因勒;伊利亚斯·科齐里亚斯;Czarnecki、Krzysztof;维杰·加内什 将SAT解算器与计算机代数系统结合起来验证组合猜想。 （英语） Zbl 1410.68413号 J.汽车。推理 58，第3号，313-339（2017）.MSC公司：68瓦30 05B20号 05C15号 05C38号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Zulkoski}等人，J.Autom。推理58，No.3，313--339（2017；Zbl 1410.68413） 全文： 内政部
布莱特，柯蒂斯;维杰·加内什;阿尔伯特·海因勒;伊利亚斯·科齐里亚斯;赛义德·内贾蒂;Czarnecki、Krzysztof 数学检查2:用于组合猜想的SAT+CAS验证器。 （英语） Zbl 1453.05001号 Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2016年9月19日至23日，罗马尼亚布加勒斯特，第18届国际研讨会，CASC 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9890, 117-133 (2016).MSC公司：05-04 68伏15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人，Lect。注释计算。科学。9890、117--133（2016；Zbl 1453.05001） 全文： 内政部