布兰德,科尼利厄斯 判别子集卷积:为参数化算法细化外部代数方法。 (英语) Zbl 1490.68120号 J.计算。系统。科学。 129, 62-71 (2022).MSC公司:68年第27季度 15A75号 68兰特 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Brand},J.Compute公司。系统。科学。129、62-71(2022年;Zbl 1490.68120) 全文: 内政部
维克托·拉盖克维斯特;罗伊,比曼 反约束问题的复杂性和反可满足性问题的二分法。 (英语) Zbl 1477.68127号 J.计算。系统。科学。 117, 23-39 (2021).MSC公司:65年第68季度 08A70号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{V.Lagerkvist}和\textit{B.Roy},J.Comput。系统。科学。117、23-39(2021年;Zbl 1477.68127) 全文: 内政部 链接
维迪亚·拉马斯瓦米;贾亚拉尔·萨尔马;苏尼尔,K.S。 标记图可达性测试的空间复杂性。 (英语) Zbl 1425.68322号 J.计算。系统。科学。 105, 40-53 (2019).MSC公司:68兰特 05C25号 05C78号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Ramaswamy}等人,《计算杂志》。系统。科学。105、40-53(2019年;Zbl 1425.68322) 全文: 内政部
维克托·达尔摩;安德烈·克罗金;拉杰斯卡·马诺卡兰 研究常数近似有限值CSP的特征。 (英语) Zbl 1398.68666号 J.计算。系统。科学。 97,14-27(2018).MSC公司:68周25 08A70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Dalmau}等人,《计算杂志》。系统。科学。97、14-27(2018年;Zbl 1398.68666) 全文: 内政部 arXiv公司 链接
雅各布·特纳 紧张因素伪装成火柴门:放宽对费菲赛道的平面度限制。 (英语) Zbl 1370.68143号 J.计算。系统。科学。 86, 108-116 (2017).MSC公司:65年第68季度 2005年第68季度 68兰特 68单位05 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{J.特纳},J.计算。系统。科学。86、108——116(2017;Zbl 1370.68143) 全文: 内政部 arXiv公司
彼得·琼森;维克托·拉盖克维斯特;古斯塔夫·诺德;布鲁诺·扎努蒂尼 强部分克隆和SAT问题的时间复杂性。 (英语) 兹比尔1353.68133 J.计算。系统。科学。 84, 52-78 (2017).MSC公司:65年第68季度 08A40号 08A70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Jonsson}等人,J.Compute。系统。科学。84、52-78(2017;Zbl 1353.68133) 全文: 内政部 链接
关雪冲 信息代数的两个笛卡尔闭范畴。 (英语) Zbl 1435.08004号 J.计算。系统。科学。 81,第2期,376-382(2015).MSC公司:08A70型 18日第15天 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{X.Guan},J.计算。系统。科学。81,No.2,376--382(2015;Zbl 1435.08004) 全文: 内政部
J·阿拉塞纳。;A.理查德。;萨利纳斯,L。 与或非网络中的最大固定点数。 (英语) Zbl 1311.68100号 J.计算。系统。科学。 80,第7期,1175-1190(2014).MSC公司:68兰特 05C69号 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{J.Aracena}等人,J.Compute。系统。科学。80,第7号,1175--1190(2014;Zbl 1311.68100) 全文: 内政部
R·克劳斯顿。;研究员,M。;古汀,G。;Jones,M。;E.J.金。;F.罗萨蒙德。;I.Z.鲁兹萨。;托马斯,S。;Yeo,A。 满足GF(2)上一半以上的线性方程组:多元方法。 (英语) Zbl 1285.68053号 J.计算。系统。科学。 80,第4期,687-696(2014).MSC公司:2017年第68季度 65年第68季度 15A60型 05元50分 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Crowston}等人,《计算杂志》。系统。科学。80,第4号,687--696(2014;Zbl 1285.68053) 全文: 内政部 链接
伊恩·斯图尔特(Iain A.Stewart)。 多交换网络及其拓扑和算法特性。 (英语) Zbl 1410.68033号 J.计算。系统。科学。 79,第8期,1269-1286(2013).MSC公司:68米10 05C25号 05C40号 68兰特 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Stewart},J.计算。系统。科学。79,第8号,1269--1286(2013;Zbl 1410.68033) 全文: 内政部
马苏梅·易卜拉希米;马苏德·达内什塔拉布;巴西州利尔杰贝格;普洛西拉,朱哈;汉努·腾胡宁 使用高级层间总线体系结构的3D网络片上集群拓扑。 (英语) 兹伯利1264.68012 J.计算。系统。科学。 79,第4号,475-491(2013).MSC公司:68米10 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{M.Ebrahimi}等人,《计算杂志》。系统。科学。79,第4号,475--491(2013;Zbl 1264.68012) 全文: 内政部
纳迪亚·克里诺;Phokion Kolaitis公司;布鲁诺·扎努蒂尼 布尔关系的结构识别和共克隆的普通基。 (英语) Zbl 1152.68020号 J.计算。系统。科学。 74,编号7,1103-1115(2008).MSC公司:65年第68季度 06E30年 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Creignou}等人,《计算杂志》。系统。科学。74,编号71103-1115(2008年;兹bl 1152.68020) 全文: 内政部 哈尔
奈杰尔·托马斯 比较服务需求未知的作业分配方案。 (英语) Zbl 1154.68349号 J.计算。系统。科学。 74,第6期,1067-1081(2008).MSC公司:68平方米 68米10 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.托马斯},J.计算机。系统。科学。74,第6号,1067--1081(2008;Zbl 1154.68349) 全文: 内政部
大卫·坎佩;Frank McSherry先生 光谱分析的分散算法。 (英语) Zbl 1131.68074号 J.计算。系统。科学。 74,第1号,70-83(2008).MSC公司:68兰特 05元50分 05C85号 62M15型 68米10 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{D.Kempe}和\textit{F.McSherry},J.Compute。系统。科学。74,第1号,70--83(2008;Zbl 1131.68074) 全文: 内政部
斯蒂芬·布鲁姆。;艾西克,佐尔坦 矩阵和矩阵迭代理论。二、。 (英语) Zbl 0791.08007号 J.计算。系统。科学。 46,第3号,409-439(1993). 审核人:N.Curteanu(伊阿什) MSC公司:08A70号 68问题65 18立方厘米 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.Ei sik},J.Comput。系统。科学。46,第3号,409--439(1993;Zbl 0791.08007) 全文: 内政部
斯蒂芬·布鲁姆。;艾西克,佐尔坦 矩阵和矩阵迭代理论。一、。 (英语) Zbl 0791.08006号 J.计算。系统。科学。 46,第3381-408号(1993年). 审核人:N.Curteanu(伊阿什) MSC公司:08A70号 68问题65 18立方厘米 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.Ei sik},J.Comput。系统。科学。46,第3号,381--408(1993;Zbl 0791.08006) 全文: 内政部
拉维,S.S。;埃罗尔·劳埃德。 PLA折叠启发式的图论分析。 (英语) Zbl 0771.68092号 J.计算。系统。科学。 46,第3期,326-348(1993).MSC公司:68兰特 65年第68季度 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Ravi}和\textit{E.L.Lloyd},J.Comput。系统。科学。46,第3号,326--348(1993;Zbl 0771.68092) 全文: 内政部
你,嘉慧 统一模是等式逻辑程序设计的一种等式理论。 (英语) 兹比尔0718.68021 J.计算。系统。科学。 42,第1期,54-75(1991). 审核人:P.van Emde Boas(阿姆斯特丹) MSC公司:68N17号 2012年第68季度 03C05号机组 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.-H.You},J.计算。系统。科学。42,编号1,54--75(1991;Zbl 0718.68021) 全文: 内政部
拉维·B·波帕纳。 阈值函数和有界深度单调电路。 (英语) Zbl 0617.94012号 J.计算。系统。科学。 32, 222-229 (1986). 审核人:N.N.花环 MSC公司:94立方厘米10 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.B.Boppana},J.计算。系统。科学。32222--229(1986年;Zbl 0617.94012) 全文: 内政部
英戈·韦格纳 分支程序的时空权衡。 (英语) Zbl 0593.68038号 J.计算。系统。科学。 32, 91-96 (1986).MSC公司:65年第68季度 94立方厘米10 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{I.Wegener},J.计算。系统。科学。32、91——96(1986年;Zbl 0593.68038) 全文: 内政部
旋律,拉米 有限元刚度矩阵收缩系统的形式化分析。 (英语) Zbl 0576.68058号 J.计算。系统。科学。 31, 1-27 (1985).MSC公司:68兰特 94C15号机组 65层99 PDF格式BibTeX公司 XML格式引用 \textit{R.Melhem},J.计算。系统。科学。31、1--27(1985年;Zbl 0576.68058) 全文: 内政部
Jan K·帕希尔。 寻找图中的伪外围节点。 (英语) Zbl 0546.68046号 J.计算。系统。科学。 29, 48-53 (1984).MSC公司:68兰特 65年第68季度 05元50分 65层50 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Pachl},J.计算。系统。科学。29、48-53(1984年;Zbl 0546.68046) 全文: 内政部
尤金·卢克斯(Eugene M.Luks)。 有界价图的同构可以在多项式时间内进行测试。 (英语) Zbl 0493.68064号 J.计算。系统。科学。 25, 42-65 (1982).MSC公司:68兰特 05C25号 20对25 2010年1月20日 65年第68季度 05C15号 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Luks},J.计算。系统。科学。25、42-65(1982年;Zbl 0493.68064) 全文: 内政部
约翰·萨维奇。 VLSI模型中矩阵乘法和相关问题的区域时间权衡。 (英语) Zbl 0458.68009号 J.计算。系统。科学。 22, 230-242 (1981).MSC公司:65年第68季度 68瓦99 94立方厘米10 65楼30 PDF格式BibTeX公司 XML格式引用 \textit{J.E.Savage},J.计算。系统。科学。22230-242(1981年;Zbl 0458.68009) 全文: 内政部
佐托鲁富士阁 一种有效的PQ-graph算法,用于解决图形重化问题。 (英语) Zbl 0438.68028号 J.计算。系统。科学。 21, 63-86 (1980).MSC公司:68兰特 05元50分 PDF格式BibTeX公司 XML格式引用 \textit{S.Fujishige},J.计算。系统。科学。21、63——86(1980;Zbl 0438.68028) 全文: 内政部
Amelia C.方。;杰弗里·乌尔曼。 求流图的深度。 (英语) Zbl 0369.68025号 J.计算。系统。科学。 15, 300-309 (1977).MSC公司:68瓦99 68号01 94立方厘米10 65年第68季度 05C35号 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Fong}和\textit{J.D.Ullman},J.Compute。系统。科学。15300--309(1977年;Zbl 0369.68025) 全文: 内政部
Takumi加赛 流程图到while程序的可翻译性。 (英语) Zbl 0291.68005号 J.计算。系统。科学。 177-195年9月(1974年).MSC公司:68号01 68瓦99 65年第68季度 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{T.Kasai},J.计算。系统。科学。9、177--195(1974年;Zbl 0291.68005) 全文: 内政部