内森·穆尔;庞硕;亚历山大·拉兹博罗夫 基于CDCL的有序决策证明系统。 (英语) Zbl 1526.68011号 SIAM J.计算。 51,第4期,1368-1399(2022).理学硕士:68伏15 20层03 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Mull}等人,SIAM J.Compute。51,编号4,1368--1399(2022;Zbl 1526.68011) 全文: 内政部
尤瓦尔·菲莫斯;马西莫·劳里亚;雅各布诺德斯特伦;罗恩·泽维,诺加;尼尔·萨彭 多项式微积分中的空间复杂性。 (英语) Zbl 1372.03099号 SIAM J.计算。 44,第4期,1119-1153(2015).理学硕士:20层03 2017年第68季度 03B35型 03B05号 2015年3月1日 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Filmus}等人,SIAM J.Compute。44,No.4,1119--1153(2015;Zbl 1372.03099) 全文: 内政部