墨菲·贝尔齐什;戴，乔尔·D。;维杰·加内什;米贾·库尔琴斯基;弗罗林·马内亚;费德里科·莫拉;德克·诺沃特卡 寻求更有效的方法来解决正则表达式重字符串约束。 （英语） Zbl 1512.68308号 西奥。计算。科学。 943, 50-72 (2023).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Berzish}等人，Theor。计算。科学。943，50-72（2023；Zbl 1512.68308） 全文： 内政部
墨菲·贝尔齐什;戴，乔尔·D·。;维杰·加内什;米贾·库尔琴斯基;弗罗林·马内亚;费德里科·莫拉;德克·诺沃特卡 涉及正则成员谓词的字符串理论：从实践到理论再到实践。 （英语） Zbl 1528.68425号 Lecroq，Thierry（编辑）等，《单词组合学》。第13届国际会议，WORDS 2021，法国鲁昂，2021年9月13日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12847, 50-64 (2021).MSC公司：68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{M.Berzish}等人，Lect。注释计算。科学。12847，50-64（2021；Zbl 1528.68425） 全文： 内政部 arXiv公司
墨菲·贝尔齐什;米贾·库尔琴斯基;费德里科·莫拉;弗罗林·马内亚;戴，乔尔·D·。;德克·诺沃特卡;维杰·加内什 用于字符串长度上的正则表达式和线性算法的SMT解算器。 （英语） Zbl 1493.68182号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 289-312 (2021).MSC公司：65年第68季度 68T20型 68V20型 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{M.Berzish}等人，Lect。注释计算。科学。12760289--312（2021年；Zbl 1493.68182） 全文： 内政部 arXiv公司
布莱特，柯蒂斯;张凯文·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号 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组合搜索方法及其在最佳矩阵中的应用。 （英语） 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公司
爱德华·祖尔科斯基;布莱特，柯蒂斯;阿尔伯特·海因勒;伊利亚斯·科齐里亚斯;Czarnecki、Krzysztof;维杰·加内什 将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） 全文： 内政部
爱德华·祖尔科斯基;维杰·加内什;Czarnecki、Krzysztof MathCheck：通过计算机代数系统和SAT解题器相结合的数学助手。 （英语） Zbl 1465.68300号 Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日，德国柏林，第25届自动扣款国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 607-622 (2015).MSC公司：第68卷第15页 05-04 05C15号 05C45号 05C70号 68兰特 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Zulkoski}等人，Lect。注释计算。科学。9195607-622（2015年；兹比尔1465.68300） 全文： 内政部