菲利普·马佐维耶基;辛克莱·班克斯,亨利;卡萝尔·Węgrzycki 带有一元计数器的2-VASS中的可覆盖性是NP。 (英语) Zbl 07770338号 Kupferman,Orna(编辑)等人,《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023,作为欧洲软件理论与实践联合会议ETAPS 2023的一部分,于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13992, 196-217 (2023).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Mazowiecki}等人,Lect。注释计算。科学。13992196-217(2023年;兹比尔07770338) 全文: 内政部 arXiv公司 OA许可证
杰斯珀·奈德洛夫;Micha Pilipczuk;斯文尼胡斯,塞琳·M.F。;卡萝尔·Węgrzycki 在单指数时间和多项式空间中用树参数化的哈密顿循环。 (英语) Zbl 07725062号 SIAM J.离散数学。 37,第3期,1566-1586(2023).MSC公司:65年第68季度 68兰特 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{J.Nederlof}等人,SIAM J.离散数学。37,第3号,1566--1586(2023;Zbl 07725062) 全文: 内政部