拉胡尔·桑塔纳姆 反讽复杂性:可满足性算法和电路下限。 (英语) Zbl 1261.68062号 牛市。欧洲协会。计算。科学。EATCS公司 106,32-52(2012).MSC公司:2015年第68季度 2017年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Santhanam},公牛。欧洲协会。计算。科学。EATCS 106、32--52(2012;Zbl 1261.68062)
卡伦·萨卡拉。;若昂·西尔瓦侯爵 现代SAT解题器的解剖和实证评估。 (英语) Zbl 1258.68137号 牛市。欧洲协会。计算。科学。EATCS公司 103, 95-121 (2011).MSC公司:68T20型 2017年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Sakalah}和\textit{J.Marques Silva},公牛。欧洲协会。计算。科学。EATCS 103,95-121(2011;Zbl 1258.68137)
托马斯,迈克尔;赫里贝特·沃尔默 非单调逻辑的复杂性。 (英语) Zbl 1275.68141号 牛市。欧洲协会。计算。科学。EATCS公司 102, 53-82 (2010).MSC公司:68T27型 65年第68季度 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Thomas}和\textit{H.Vollmer},公牛。欧洲协会。计算。科学。EATCS 102、53--82(2010年;Zbl 1275.68141) 全文: arXiv公司