范甘·特林;贝莱德·本哈莫;西尔万·索利曼 布尔网络的陷阱空间是其Petri网编码的无冲突信标。 (英语) Zbl 07729845号 西奥。计算。科学。 971,文章ID 114073,20 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{V.-G.Trinh}等人,Theor。计算。科学。971,文章ID 114073,20页(2023;Zbl 07729845) 全文: DOI程序 哈尔
艾米丽·阿勒特;约阿希姆·尼伦;克里斯蒂安·维萨里 计算线性方程组的差分抽象。 (英语) Zbl 1518.92070号 西奥。计算。科学。 893, 72-104 (2021).MSC公司:92立方厘米 92C40型 92C45型 PDF格式BibTeX公司 XML格式引用 \textit{E.Allart}等人,Theor。计算。科学。893,72-104(2021;Zbl 1518.92070) 全文: DOI程序 哈尔
博古米卡米恩斯基;托马斯·奥尔扎克;Pra at,Pawe 使用随机依赖关系图并行执行调度。 (英语) Zbl 1426.90150号 西奥。计算。科学。 784, 113-132 (2019).MSC公司:90B36型 05C80号 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Kamiñski}等人,Theor。计算。科学。784113-132(2019年;Zbl 1426.90150) 全文: DOI程序
伊雷娜·鲁苏 图匹配问题和排序约束的NP-harrdness。 (英语) 兹比尔1375.68071 西奥。计算。科学。 695, 16-27 (2017).MSC公司:65年第68季度 05C70号 2017年第68季度 90B35型 90C27型 PDF格式BibTeX公司 XML格式引用 \文本{I.Rusu},Theor。计算。科学。695、16-27(2017年;Zbl 1375.68071) 全文: DOI程序
利奥·范·埃尔塞尔;史蒂文·凯尔克;内拉·莱基奇;西蒙·林茨 通过多个线性序或系统发育树满足三元排列约束。 (英语) Zbl 1332.68094号 西奥。计算。科学。 609,第1部分,1-21(2016).MSC公司:65年第68季度 05年5月 06年05月 92D15型 PDF格式BibTeX公司 XML格式引用 \textit{L.van Iersel}等人,Theor。计算。科学。609,第1部分,1--21(2016;Zbl 1332.68094) 全文: DOI程序 arXiv公司