马丁·查尔斯·格伦比奇;罗恩·沙米尔 时间推理的复杂性和算法:一种图论方法。 (英语) Zbl 0795.68095号 J.协会计算。机器。 40,第5期,1108-1133(1993).MSC公司:65年第68季度 68吨15 68兰特 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Golumbic}和\textit{R.Shamir},J.协会计算。机器。40,编号5,1108--1133(1993;Zbl 0795.68095) 全文: 内政部
瓦舍克·查塔尔;恩德雷·斯泽梅雷迪 许多难以解决的例子。 (英语) Zbl 0712.03008号 J.协会计算。机器。 35,第4期,759-768(1988).MSC公司:03B35型 68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Chvátal}和\textit{E.Szemerédi},J.Assoc.Compute。机器。35,编号4,759-768(1988年;兹bl 0712.03008) 全文: 内政部
西斯特拉,A.P。;E.M.克拉克。 命题线性时序逻辑的复杂性。 (英语) Zbl 0632.68034号 J.协会计算。机器。 32, 733-749 (1985).MSC公司:68问题65 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}和\textit{E.M.Clarke},J.协会计算。机器。32733--749(1985年;Zbl 0632.68034) 全文: 内政部
卡尔·J·利伯海尔。;斯佩克,E。 部分满足的复杂性。 (英语) Zbl 0456.68078号 J.协会计算。机器。 28411-421(1981年).MSC公司:68年 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.J.Lieberher}和\textit{E.Specker},J.计算机助理。机器。28、411--421(1981年;Zbl 0456.68078) 全文: 内政部