布莱特,柯蒂斯;张凯文·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年;兹bl 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公司
布莱特,柯蒂斯;张凯文·K·H。;布雷特·史蒂文斯;伊利亚斯·科齐里亚斯;维杰·加内什 基于SAT的Lam问题解决方案。 arXiv:2012.04715年 预印本,arXiv:2012.04715[cs.DM](2020)。 BibTeX公司 引用 \textit{C.Bright}等人,“基于SAT的Lam问题解决方案”,预印本,arXiv:2012.04715[cs.DM](2020) 全文: 内政部 arXiv公司 OA许可证
布莱特,柯蒂斯;张凯文·K·H。;布雷特·史蒂文斯;伊利亚斯·科齐里亚斯;维杰·加内什 Lam问题中权重16码字的不满足性证明。 arXiv:20011.1973年 预印本,arXiv:20011.1973[cs.DM](2020)。 BibTeX公司 引用 \textit{C.Bright}等人,“Lam问题中重量16码字的不满意证明”,预打印,arXiv:20011.73[cs.DM](2020) 全文: 内政部 arXiv公司 OA许可证