吉马、达苏亚;尤塔·奥塔奇 通过小顶点完整性扩展MSO模型检查。 (英语) Zbl 07785278号 算法 86,编号1,147-170(2024).MSC公司:68瓦xx 05Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{T.Gima}和\textit{Y.Otachi},算法86,No.1,147--170(2024;Zbl 07785278) 全文: 内政部 arXiv公司
王一书;玛丽,阿尔诺;法国玛丽·萨戈;布莱里娜·西奈梅里 枚举解决方案等价类的通用框架。 (英语) 兹伯利07746791 算法 85,编号10,3003-3023(2023).MSC公司:68瓦xx 05Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人,Algorithmica 85,No.10,3003--3023(2023;Zbl 07746791) 全文: 内政部 arXiv公司
费利克斯·雷德尔;布莱尔·沙利文。 有界展开类中子图计数的一种避免颜色的方法。 (英语) Zbl 07729245号 算法 85,第8期,2318-2347(2023).MSC公司:68瓦xx 05Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{F.Reidl}和\textit{B.D.Sullivan},《算法》85,第8期,2318--2347(2023;Zbl 07729245) 全文: 内政部 arXiv公司
苏布拉马尼,K。;彼得·沃伊切乔夫斯基 使用位缩放的UTVPI约束中的整数可行性和反驳。 (英语) Zbl 1507.68220号 算法 第2期第85页,610-637页(2023年).MSC公司:68卢比 68周05 68瓦40 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani}和\textit{P.Wojciechowski},Algorithmica 85,No.2,610--637(2023;Zbl 1507.68220) 全文: 内政部
阿恩·迈尔;塞巴斯蒂安·奥德尼亚克;拉马努扬,M.S。;艾伦娜·辛德勒 线性时序逻辑的后门。 (英语) Zbl 1411.68050号 算法 81,第2期,476-496(2019).MSC公司:65年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人,Algorithmica 81,No.2,476--496(2019;Zbl 1411.68050) 全文: 内政部
爱德华·博内;布鲁诺·埃斯科菲尔;万杰利斯·帕斯科;埃米尔托尼亚雷 局部图划分问题的多参数分析:使用贪婪进行参数化。 (英语) Zbl 1312.68095号 算法 71,第3号,566-580(2015).MSC公司:65年第68季度 05C70号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{E.Bonnet}等人,Algorithmica 71,No.3,566--580(2015;Zbl 1312.68095) 全文: 内政部 链接