爱德华·艾本;罗伯特·加尼安;塞巴斯蒂安·奥德尼亚克 使用QBF分解参数：注意前缀！ （英文） Zbl 1435.68123号 J.计算。系统。科学。 110，1-21（2020）.MSC公司：第68季度27 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Eiben}等人，J.Compute。系统。科学。110，1--21（2020；Zbl 1435.68123） 全文： 内政部 链接
拉尔夫·威默;克里斯托夫·斯科尔;贝恩德·贝克尔 （D）QBF预处理器HQPre——基本理论及其实现。 （英文） Zbl 1484.68225号 J.满意。布尔模型。计算。 11, 3-52 (2019).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Wimmer}等人，J.Satisfe。布尔模型。计算。11、3--52（2019年；Zbl 1484.68225） 全文： 内政部
爱德华·艾本;罗伯特·加尼安;塞巴斯蒂安·奥德尼亚克 使用依赖树宽度对QBF进行小分辨率证明。 （英文） Zbl 1487.68135号 Niedermeier，Rolf（编辑）等人，第35届计算机科学理论方面研讨会，2018年2月28日至3月3日，法国卡昂，STACS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96，第28条，第15页（2018年）。MSC公司：第68季度27 20层03 68兰特 68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{E.Eiben}等人，LIPIcs——莱布尼茨国际程序。通知。96，第28条，第15页（2018；Zbl 1487.68135） 全文： 内政部 arXiv公司
拉尔夫·威默;克里斯托夫·斯科尔;卡里娜·威默;贝恩德·贝克尔 DQBF的依赖方案。 （英文） Zbl 1475.68225号 Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5日至8日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9710, 473-489 (2016).MSC公司：68兰特 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Wimmer}等人，Lect。注释计算。科学。9710473-489（2016年；Zbl 1475.68225） 全文： 内政部