米贾·库尔琴斯基;凯文·洛茨;德克·诺沃特卡;丹尼·鲍尔森 使用SAT解决涉及正则成员谓词的字符串理论。 （英语） Zbl 1514.68330号 Legunson，Owolabi（编辑）等人，《模型检查软件》。第28届国际研讨会，SPIN 2022，虚拟活动，2022年5月21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13255, 134-151 (2022).MSC公司：68瓦32 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kulczynski}等人，Lect。注释计算。科学。13255、134--151（2022年；Zbl 1514.68330） 全文： 内政部
墨菲·贝尔齐什;戴，乔尔·D·。;维杰·加内什;米贾·库尔琴斯基;弗罗林·马内亚;费德里科·莫拉;德克·诺沃特卡 涉及正则成员谓词的字符串理论：从实践到理论再到实践。 （英语） Zbl 1528.68425号 Lecroq，Thierry（编辑）等，《单词组合学》。2021年9月13日至17日在法国鲁昂举行的第十三届世界2021年国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12847, 50-64 (2021).MSC公司：68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{M.Berzish}等人，Lect。注释计算。科学。12847，50-64（2021；Zbl 1528.68425） 全文： 内政部 arXiv公司