布莱特，柯蒂斯；伊利亚斯·科齐里亚斯；阿尔伯特·海因勒；维杰·加内什 复杂的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个码字的十阶射影平面的不存在证明。 （英语） 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.塞姆。计算。 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公司