布莱特,柯蒂斯;张凯文·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号 第51页第20页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人,应用。代数工程公社。计算。31,编号3--4,195-213(2020;Zbl 1460.68098) 全文: 内政部 arXiv公司
布莱特,柯蒂斯;伊利亚斯·科齐里亚斯;维杰·加内什 将计算机代数系统与SAT解算器应用于Williamson猜想。 (英语) 兹比尔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}等人,Ann.Math。Artif公司。智力。87,第4号,321--342(2019;Zbl 1434.05001) 全文: 内政部 arXiv公司
爱德华·祖尔科斯基;布莱特,柯蒂斯;阿尔伯特·海因勒;伊利亚斯·科齐里亚斯;Czarnecki、Krzysztof;维杰·加内什 将SAT解算器与计算机代数系统结合起来验证组合猜想。 (英语) Zbl 1410.68413号 J.自动化。推理 58,编号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) 全文: 内政部