内森·穆尔;庞硕;亚历山大·拉兹博罗夫 基于CDCL的有序决策证明系统。 (英语) Zbl 1526.68011号 SIAM J.计算。 51,第4期,1368-1399(2022).MSC公司:68伏15 20层03 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Mull}等人,SIAM J.Compute。51,编号4,1368--1399(2022;Zbl 1526.68011) 全文: 内政部
克里斯托夫·伯克霍尔茨;雅各布诺德斯特伦 超临界空间宽度的折衷解决方案。 (英语) Zbl 1485.03235号 SIAM J.计算。 49,编号1,98-118(2020).MSC公司:20层03 03B70号 2015年3月1日 2015年第68季度 2017年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Berkholz}和\textit{J.Nordström},SIAM J.Comput。49,编号1,98--118(2020;Zbl 1485.03235) 全文: 内政部
保罗·比姆;克里斯·贝克;罗素·英帕利亚佐 分辨率的时空权衡:超线性空间的超多项式下限。 (英语) Zbl 1401.68094号 SIAM J.计算。 45,第4期,1612-1645(2016).MSC公司:2017年第68季度 20层03 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Beame}等人,SIAM J.Compute。45,第4号,1612--1645(2016;Zbl 1401.68094) 全文: 内政部
尤瓦尔·菲莫斯;马西莫·劳里亚;雅各布诺德斯特伦;罗恩·泽维,诺加;尼尔·萨彭 多项式微积分中的空间复杂性。 (英语) Zbl 1372.03099号 SIAM J.计算。 44,第4期,1119-1153(2015).MSC公司:20层03 2017年第68季度 03B35型 03英镑05 2015年3月1日 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Filmus}等人,SIAM J.Compute。44,No.4,1119--1153(2015;Zbl 1372.03099) 全文: 内政部