罗伯塔·戈里;乔治·列维 关于有限失效的验证。 (英语) Zbl 1105.68016号 J.计算。系统。科学。 71,第4期,535-575(2005).MSC公司:68N17号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gori}和\textit{G.Levi},J.Comput。系统。科学。71,第4号,535--575(2005;Zbl 1105.68016) 全文: 内政部
菲利普·沃尔费尔 通过通用散列对整数乘法的OBDD大小进行限制。 (英语) 兹比尔1082.68021 J.计算。系统。科学。 71,第4期,520-534(2005).MSC公司:68第05页 2017年第68季度 68瓦35 PDF格式BibTeX公司 XML格式引用 \textit{P.Woelfel},J.计算。系统。科学。71,第4号,520--534(2005;Zbl 1082.68021) 全文: 内政部
Juha Honkala 字母表上某些D0L系统的最终等价问题的(n^2)界。 (英语) Zbl 1082.68051号 J.计算。系统。科学。 71,第4期,506-519(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Honkala},J.计算。系统。科学。71,第4号,506--519(2005;Zbl 1082.68051) 全文: 内政部
斯塔夫罗斯·科利奥普洛斯(Stavros G.Kolliopoulos)。;尼尔·E·扬。 覆盖/打包整数程序的近似算法。 (英语) Zbl 1082.68128号 J.计算。系统。科学。 71,第4期,495-505(2005).MSC公司:68周25 90立方厘米 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Kolliopoulos}和\textit{N.E.Young},J.Compute。系统。科学。71,第4号,495--505(2005;Zbl 1082.68128) 全文: 内政部 arXiv公司
Mehmet Hakan卡拉塔 最佳自稳定无约束交流发电机。 (英语) Zbl 1105.68008号 J.计算。系统。科学。 71,编号4,480-494(2005).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Karata},J.计算。系统。科学。71,第4号,480--494(2005;Zbl 1105.68008) 全文: 内政部
德夫达特·杜巴希;亚历山德罗·梅;亚历山德罗·潘科内西;贾库马尔·拉德哈克里希南;阿拉文·斯里尼瓦桑 (弱)连通支配集和线性骨架的快速分布式算法。 (英语) Zbl 1085.68184号 J.计算。系统。科学。 71,第467-479号(2005年).MSC公司:68宽15 PDF格式BibTeX公司 XML格式引用 \textit{D.Dubhashi}等人,《计算杂志》。系统。科学。71,第4号,467--479(2005;Zbl 1085.68184) 全文: 内政部
乔纳森·戈德斯汀;梁,兴;沃奇克,德特勒夫 测量下推自动机中的不确定性。 (英语) Zbl 1101.68653号 J.计算。系统。科学。 71,第4号,440-466(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Goldstine}等人,J.Compute。系统。科学。71,第4号,440-466(2005;Zbl 1101.68653) 全文: 内政部
纳拉扬·维卡斯 对至多有四个顶点的所有图进行压缩和收缩的完整且相等的计算复杂度分类,并给出一些一般结果。 (英语) Zbl 1101.68613号 J.计算。系统。科学。 71,第4期,406-439(2005).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{N.Vikas},J.Comput。系统。科学。71,第4号,406--439(2005;Zbl 1101.68613) 全文: 内政部
Jochen Alber;范红兵;研究员Michael R。;亨宁费尔瑙;罗尔夫·尼德迈尔;弗兰·罗萨蒙德;乌尔里克·斯特奇 平面图上支配集的精细搜索树技术。 (英语) Zbl 1101.68712号 J.计算。系统。科学。 71,第4期,385-405(2005).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Alber}等人,J.Compute。系统。科学。71,第4号,385--405(2005;Zbl 1101.68712) 全文: 内政部