阿诺·杜兰德;米基·赫尔曼;古斯塔夫·诺德 最小推理复杂性中的三角学。 (英语) Zbl 1290.68057号 理论计算。系统。 50,第3期,446-491(2012).MSC公司:65年第68季度 03B60号 2017年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Durand}等人,理论计算。系统。50,第3号,446--491(2012;Zbl 1290.68057) 全文: DOI程序
彼得·琼森;古斯塔夫·诺德 子句约束的近似性。 (英语) Zbl 1215.68216号 理论计算。系统。 46,第2期,370-395(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Jonsson}和\textit{G.Nordh},理论计算。系统。46,第2号,370--395(2010;Zbl 1215.68216) 全文: DOI程序