Jin、Jiwei;吕一奇;葛存静;马，菲菲;张健 通过满意度测试研究Costas拉丁方的存在性。 （英语） Zbl 07495579号 Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831270-279（2021年）。MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Jin}等人，Lect。注释计算。科学。12831270--279（2021；Zbl 07495579） 全文： 内政部
凯里里迪斯、阿纳斯塔西奥斯;安舒马利·施里瓦斯塔瓦;莫舍·瓦尔迪。;张志伟 通过多线性傅里叶展开求解连续空间中的混合布尔约束。 （英语） Zbl 1520.68105号 Artif公司。智力。 299，文章ID 103559，32 p.（2021）.MSC公司：68兰特 06E30年 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kyrillidis}等人，Artif。智力。299，文章ID 103559，32页（2021；Zbl 1520.68105） 全文： 内政部
布莱特，柯蒂斯;伊利亚斯·科齐里亚斯;阿尔伯特·海因勒;维杰·加内什 复杂的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。计算。102153-172（2021年；兹比尔1468.68276） 全文： 内政部 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.塞姆。计算。 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组合搜索方法及其在最佳矩阵中的应用。 （英语） 兹比尔1434.05001 安。数学。Artif公司。智力。 87，第4号，321-342（2019）. 审核人：Ioan Tomescu（Bucureşti） MSC公司：05-04 05B20号 68卢比 68T27型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人，《数学年鉴》。Artif公司。智力。87，第4号，321--342（2019；Zbl 1434.05001） 全文： 内政部 arXiv公司
布莱特，柯蒂斯;伊利亚斯·科齐里亚斯;阿尔伯特·海因勒;维杰·加内什 通过编程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公司