汤姆·佩特尔;弗里德里希·斯利沃夫斯基;斯泽德,斯特凡 具有依赖方案的长距离Q分辨率。 (英语) Zbl 1459.68229号 J.自动化。推理 63,第1期,127-155(2019).MSC公司:68伏15 03B35型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{T.Peitl}等人,J.Autom。推理63,No.1,127--155(2019;Zbl 1459.68229) 全文: DOI程序 OA许可证
Heule,Marijn J.H。;马蒂娜·塞德尔;阿明·比尔 QBF预处理的解决方案验证和提取。 (英语) Zbl 1409.68258号 J.自动化。推理 58,第1号,97-125(2017).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.J.H.Heule}等人,J.Autom。推理58,No.1,97--125(2017;Zbl 1409.68258) 全文: DOI程序
弗里德里希·斯利沃夫斯基;斯泽德,斯特凡 QBF的量词重新排序。 (英语) Zbl 1356.68200号 J.自动化。推理 56,第4期,459-477(2016).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.Slivovsky}和\textit{S.Szeider},J.Autom。推理56,No.4,459--477(2016;Zbl 1356.68200) 全文: DOI程序