编辑配置文件（在新选项卡中打开） 布莱特，柯蒂斯 合著者距离 作者ID： 明亮的庭院 发布日期： 布莱特，柯蒂斯 已编制索引的文档： 20出版物自2011年起，包括9附加arXiv预打印 合著者： 16位合著者具有17联合出版物 629合著作者 全部的 前5名合著者 三 单作者的 15 维杰·加内什 13 科齐里亚斯（Ilias S.Kotsireas）。 4 张凯文·K·H。 4 阿尔伯特·海因勒 4 布雷特·史蒂文斯 2 Czarnecki、Krzysztof 2 德拉戈米尔·奥科维奇。 2 李正宇 1 雷蒙德·魔鬼队 1 贾·皮尤什 1 陆正阳 1 赛义德·内贾蒂 1 多米尼克·罗伊 1 杰弗里·奥特洛·沙利特 1 阿尔恩·斯托约翰恩 1 爱德华·祖尔科斯基 全部的 前5名系列 2 符号计算杂志 1 IEEE信息理论汇刊 1 自动推理杂志 1 工程、通信和计算中的应用代数 1 实验数学 1 数学与人工智能年鉴 领域 9 计算机科学（68至XX） 8 组合数学（05-XX） 5 数论（11-XX） 三 信息与通信理论、电路（94-XX） 1 几何图形（51至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用29中的次15文件 引用人▼ 年份▼ 将SAT解算器与计算机代数系统结合起来验证组合猜想。 Zbl 1410.68413号 爱德华·祖尔科斯基;布莱特，柯蒂斯;阿尔伯特·海因勒;伊利亚斯·科齐里亚斯;Czarnecki、Krzysztof;维杰·加内什 7 2017 通过编程SAT枚举复杂Golay对。 兹比尔1467.68202 布莱特，柯蒂斯;伊利亚斯·科齐里亚斯;阿尔伯特·海因勒;维杰·加内什 5 2018 数学检查2:用于组合猜想的SAT+CAS验证器。 Zbl 1453.05001号 布莱特，柯蒂斯;维杰·加内什;阿尔伯特·海因勒;伊利亚斯·科齐里亚斯;赛义德·内贾蒂;Czarnecki、Krzysztof 5 2016 SAT+CAS组合搜索方法及其在最佳矩阵中的应用。 Zbl 1434.05001号 布莱特，柯蒂斯;德拉戈米尔·奥科维奇。;伊利亚斯·科齐里亚斯;维杰·加内什 三 2019 向量有理数重构。 Zbl 1323.68587号 布莱特，柯蒂斯;阿尔恩·斯托约翰恩 三 2011 复杂的Golay对长达28：通过计算机代数和编程SAT进行搜索。 Zbl 1468.68276号 布莱特，柯蒂斯;伊利亚斯·科齐里亚斯;阿尔伯特·海因勒;维杰·加内什 2 2021 将计算机代数系统与SAT解算器应用于Williamson猜想。 Zbl 1432.68595号 布莱特，柯蒂斯;伊利亚斯·科齐里亚斯;维杰·加内什 1 2020 完美四元数序列和Williamson序列的新的无限族。 Zbl 1457.94084号 布莱特，柯蒂斯;伊利亚斯·科齐里亚斯;维杰·加内什 1 2020 权重为15个码字的10阶投影平面的不存在性证明。 Zbl 1460.68098号 布莱特，柯蒂斯;张凯文;布雷特·史蒂文斯;多米尼克·罗伊;伊利亚斯·科齐里亚斯;维杰·加内什 1 2020 素数的最小元素。 兹比尔1370.11141 布莱特，柯蒂斯;雷蒙德·魔鬼队;杰弗里·沙利特 1 2016 复杂的Golay对长达28：通过计算机代数和编程SAT进行搜索。 Zbl 1468.68276号 布莱特，柯蒂斯;伊利亚斯·科齐里亚斯;阿尔伯特·海因勒;维杰·加内什 2 2021 将计算机代数系统与SAT解算器应用于Williamson猜想。 Zbl 1432.68595号 布莱特，柯蒂斯;伊利亚斯·科齐里亚斯;维杰·加内什 1 2020 完美四元数序列和Williamson序列的新无限族。 Zbl 1457.94084号 布莱特，柯蒂斯;伊利亚斯·科齐里亚斯;维杰·加内什 1 2020 权重为15个码字的10阶投影平面的不存在性证明。 Zbl 1460.68098号 布莱特，柯蒂斯;张凯文;布雷特·史蒂文斯;多米尼克·罗伊;伊利亚斯·科齐里亚斯;维杰·加内什 1 2020 SAT+CAS组合搜索方法及其在最佳矩阵中的应用。 Zbl 1434.05001号 布莱特，柯蒂斯;德拉戈米尔·奥科维奇。;伊利亚斯·科齐里亚斯;维杰·加内什 三 2019 通过编程SAT枚举复杂Golay对。 Zbl 1467.68202号 布莱特，柯蒂斯;伊利亚斯·科齐里亚斯;阿尔伯特·海因勒;维杰·加内什 5 2018 将SAT解算器与计算机代数系统结合起来验证组合猜想。 Zbl 1410.68413号 爱德华·祖尔科斯基;布莱特，柯蒂斯;阿尔伯特·海因勒;伊利亚斯·科齐里亚斯;Czarnecki、Krzysztof;维杰·加内什 7 2017 数学检查2:用于组合猜想的SAT+CAS验证器。 Zbl 1453.05001号 布莱特，柯蒂斯;维杰·加内什;阿尔伯特·海因勒;伊利亚斯·科齐里亚斯;赛义德·内贾蒂;Czarnecki、Krzysztof 5 2016 素数的最小元素。 Zbl 1370.11141号 布莱特，柯蒂斯;雷蒙德·魔鬼队;杰弗里·沙利特 1 2016 向量有理数重构。 Zbl 1323.68587号 布莱特，柯蒂斯;阿尔恩·斯托约翰恩 三 2011 所有引用出版物 前5名被引用出版物 全部的 前5名35位作者引用 6 布莱特，柯蒂斯 6 维杰·加内什 6 科齐里亚斯（Ilias S.Kotsireas）。 2 张凯文·K·H。 2 阿尔伯特·海因勒 2 布雷特·史蒂文斯 1 约翰·A·阿伯特。 1 阿伊尔迪兹·阿科格鲁，图莱 1 卢克·布兰森 1 Czarnecki、Krzysztof 1 德拉戈米尔·奥科维奇。 1 罗南·伊根 1 范翠玲 1 葛存静 1 彼得·格雷戈 1 乔纳森·霍恩斯坦。 1 Jin、Jiwei 1 朱利安·勒罗伊 1 李冰雨 1 吕一奇 1 马，菲菲 1 诺沃顿，汤姆亚什 1 齐、雁峰 1 米歇尔·里戈 1 多米尼克·罗伊 1 什·克里科夫斯基（Rister） 1 马诺·斯蒂普兰蒂 1 苏伟 1 安德鲁·萨顿（Andrew M.Sutton）。 1 阿尔涅斯州桑托 1 唐敏 1 严先坤 1 曾振兵 1 张健 1 爱德华·祖尔科斯基 全部的 前5名8篇连载文章中引用 4 符号计算杂志 2 离散数学 1 自动推理杂志 1 工程、通信和计算中的应用代数 1 组合数学电子杂志 1 数学与人工智能年鉴 1 系统科学与复杂性杂志 1 通信数学进展 全部的 前5名在9个字段中引用 9 计算机科学（68至XX） 8 组合数学（05-XX） 三 数论（11-XX） 三 信息与通信理论、电路（94-XX） 2 数值分析（65-XX） 1 场论和多项式（12-XX） 1 几何图形（51至XX） 1 概率论与随机过程（60-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文