布莱特,柯蒂斯;伊利亚斯·科齐里亚斯;阿尔伯特·海因勒;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公司
布莱特,柯蒂斯;张凯文·K·H。;布雷特·史蒂文斯;伊利亚斯·科齐里亚斯;Ganesh,维杰 十阶射影平面中椭圆的不存在证明。 (英语) 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公司
布莱特,柯蒂斯;伊利亚斯·科齐里亚斯;Ganesh,维杰 完美四元数序列和Williamson序列的新无限族。 (英语) Zbl 1457.94084号 IEEE传输。Inf.理论 66,第12号,7739-7751(2020).MSC公司:94A55型 05B10号 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人,IEEE Trans。Inf.Theory 66,No.12,7739--7751(2020;Zbl 1457.94084) 全文: 内政部 arXiv公司
布莱特,柯蒂斯;张凯文;布雷特·史蒂文斯;多米尼克·罗伊;伊利亚斯·科齐里亚斯;Ganesh,维杰 重量为15个码字的十阶射影平面的不存在证明。 (英语) Zbl 1460.68098号 申请。代数工程通讯。计算。 31,3-4195-213号(2020年).MSC公司:68T20型 05年2月25日 51E20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人,应用。代数工程通讯。计算。31,编号3--4,195-213(2020;Zbl 1460.68098) 全文: 内政部 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公司
布莱特,柯蒂斯;张凯文·K·H。;布雷特·史蒂文斯;伊利亚斯·科齐里亚斯;Ganesh,维杰 基于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。;布雷特·史蒂文斯;伊利亚斯·科齐里亚斯;Ganesh,维杰 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许可证
布莱特,柯蒂斯;德拉戈米尔·奥科维奇。;伊利亚斯·科齐里亚斯;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公司
布莱特,柯蒂斯;伊利亚斯·科齐里亚斯;Ganesh,维杰 SAT解题器和计算机代数系统:数学的强大组合。 arXiv:1907.04408年 预印本,arXiv:1907.04408[cs.LO](2019)。 BibTeX公司 引用 \textit{C.Bright}等人,“SAT解算器和计算机代数系统:数学的强大组合”,预印本,arXiv:1907.04408[cs.LO](2019) 全文: arXiv公司 OA许可证
布莱特,柯蒂斯;伊利亚斯·科齐里亚斯;阿尔伯特·海因勒;Ganesh,维杰 通过编程SAT枚举复杂Golay对。 (英语) Zbl 1467.68202号 Carlos Arreche(编辑),《第43届符号和代数计算国际研讨会论文集》,ISSAC 2018,美国纽约州纽约市,2018年7月16-19日。纽约州纽约市:计算机协会(ACM)。111-118(2018年)。MSC公司:68伏05 2015年1月5日 11B83号 68兰特 68瓦30 94A55型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人,摘自:《第43届符号和代数计算国际研讨会论文集》,ISSAC 2018,纽约,美国纽约州,2018年7月16-19日。纽约州纽约市:计算机协会(ACM)。111-118(2018;Zbl 1467.68202) 全文: 内政部 arXiv公司
布莱特,柯蒂斯;德约科维奇(Dragomir Z)。;伊利亚斯·科齐里亚斯;Ganesh,维杰 SAT+CAS寻找好矩阵的方法:新示例和反例。 arXiv:1811.05094 预印本,arXiv:1811.05094[cs.LO](2018)。 BibTeX公司 引用 \textit{C.Bright}等人,“SAT+CAS寻找好矩阵的方法:新示例和反例”,预打印,arXiv:1811.05094[cs.LO](2018) 全文: 内政部 arXiv公司 OA许可证
爱德华·祖尔科斯基;布莱特,柯蒂斯;阿尔伯特·海因勒;伊利亚斯·科齐里亚斯;Czarnecki、Krzysztof;Ganesh,维杰 将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) 全文: 内政部
布莱特,柯蒂斯;Ganesh,维杰;阿尔伯特·海因勒;伊利亚斯·科齐里亚斯;赛义德·内贾蒂;Czarnecki、Krzysztof 数学检查2:用于组合猜想的SAT+CAS验证器。 (英语) Zbl 1453.05001号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。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) 全文: 内政部