斯特凡·门格尔;弗里德里希·斯利沃夫斯基 符号QBF推理的证明复杂性。 （英语） Zbl 07495588号 Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 399-416 (2021).MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Mengel}和\textit{F.Slivovsky}，莱克特。注释计算。科学。12831399--416（2021；Zbl 07495588） 全文： 内政部 arXiv公司
卢卡·普利纳;马蒂娜·塞德尔 2016年和2017年QBF解算器评估（QBFEVAL'16和QBFEVAL'17）。 （英语） Zbl 1478.68332号 Artif公司。智力。 274, 224-248 (2019).MSC公司：68T20型 68T27型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Pulina}和\textit{M.Seidl}，Artif。智力。274、224--248（2019年；Zbl 1478.68332） 全文： 内政部