Franz-Xaver Reichl;弗里德里希·斯利沃夫斯基;斯泽德,斯特凡 通过定义提取认证DQBF解决方案。 (英语) Zbl 07495594号 Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12831, 499-517 (2021).MSC公司:第68季度25 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.-X.Reichl}等人,Lect。注释计算。科学。12831499--517(2021;Zbl 07495594) 全文: 内政部 arXiv公司
奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩;米纳·马哈扬 将策略构建到QBF证明中。 (英语) Zbl 07356969号 J.汽车。推理 65,编号1,125-154(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \文本{O.Beyersdorf}等人,J.Autom。推理65,No.1,125--154(2021;Zbl 07356969) 全文: 内政部
奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩;米纳·马哈扬 将策略构建到QBF证明中。 (英语) Zbl 07559123号 Niedermeier,Rolf(编辑)等人,第36届计算机科学理论方面国际研讨会,2019年3月13日至16日,德国柏林,STACS 2019。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。126,第14条,第18页(2019年)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人,LIPIcs——莱布尼茨国际程序。通知。126,第14条,第18页(2019年;Zbl 07559123) 全文: 内政部