本杰明·伯姆;奥拉夫·拜尔斯多夫 通过公式量规的QCDCL下限。 （英文） Zbl 07753654号 J.汽车。推理 67，第4期，第35号论文，第25页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Böhm}和\textit{O.Beyersdorff}，J.Autom。推理67，第4期，第35号论文，25页（2023；Zbl 07753654） 全文： 内政部 OA许可证
奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩;米纳·马哈扬;汤姆·佩特尔 QBF分辨率的硬度特征和尺寸宽度下限。 （英文） 兹伯利07672669 ACM事务处理。计算。日志。 24，第2号，第10号论文，30页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人，ACM Trans。计算。日志。24，第2号，第10号论文，30页（2023；Zbl 07672669） 全文： 内政部
莎拉·西格利;奥拉夫·拜尔斯多夫 证明模态分解的复杂性。 （英文） Zbl 07498607号 J.汽车。推理 66，编号1，1-41（2022）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Sigley}和\textit{O.Beyersdorff}，J.Autom。推理66，No.1，1-41（2022；Zbl 07498607） 全文： 内政部
本杰明·伯姆;奥拉夫·拜尔斯多夫 通过公式量规的QCDCL下限。 （英文） Zbl 07495565号 Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12831, 47-63 (2021).MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Böhm}和\textit{O.Beyersdorff}，莱克特。注释计算。科学。12831，47-63（2021；Zbl 07495565） 全文： 内政部
奥拉夫·拜尔斯多夫;卢卡·普利纳;马蒂娜·塞德尔;安吉特·舒克拉 QBFFam：从证明复杂性生成QBF族的工具。 （英文） Zbl 07495563号 Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12831, 21-29 (2021).MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人，Lect。注释计算。科学。12831，21-29（2021；Zbl 07495563） 全文： 内政部
奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩 QBF展开的下界技术。 （英文） Zbl 1471.03081号 理论计算。系统。 64，第3号，400-421（2020）. 审核人：Ariel Germanán Fernández（布宜诺斯艾利斯） MSC公司：20层03 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}和\textit{J.Blinkhorn}，理论计算。系统。64，第3号，400--421（2020；Zbl 1471.03081） 全文： 内政部
奥拉夫·拜尔斯多夫;勒罗伊·周;卡提克Sreenivasaiah 树型Q分辨率大小的游戏特征。 （英文） Zbl 1425.03028号 J.计算。系统。科学。 104, 82-101 (2019).MSC公司：20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人，《计算杂志》。系统。科学。104，82-101（2019年；兹bl 1425.03028） 全文： 内政部
奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩;卢克·欣德 大小、成本和容量：硬随机QBF的语义技术。 （英文） Zbl 1515.03213号 日志。方法计算。科学。 15，第1号，第13号论文，39页（2019年）.MSC公司：20层03 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人，《日志》。方法计算。科学。15，第1号，第13号论文，39页（2019年；Zbl 1515.03213） 全文： arXiv公司
朱迪思·克莱莫;奥拉夫·拜尔斯多夫 Q分辨率变量中的相关尺寸和宽度。 （英文） Zbl 1458.03043号 信息处理。莱特。 138, 1-6 (2018).MSC公司：20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Clymo}和\textit{O.Beyersdorff}，Inf.Process。莱特。138，1-6（2018年；兹bl 1458.03043） 全文： 内政部
奥拉夫·拜尔斯多夫;勒罗伊·周;卡提克Sreenivasaiah 树型Q分辨率大小的游戏特征。 （英文） Zbl 1425.03027号 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。8977, 486-498 (2015).MSC公司：20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人，Lect。注释计算。科学。8977，486--498（2015；Zbl 1425.03027） 全文： 内政部 链接
奥拉夫·拜尔斯多夫;奥利弗·库茨 证明非经典逻辑的复杂性。 （英文） Zbl 1250.03116号 Nick Bezhanishvili等人，《逻辑和计算讲座》。ESSLLI 2010，丹麦哥本哈根，2010年8月，ESSLLI 2011，斯洛文尼亚卢布尔雅那，2011年8月。精选课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-31484-1/pbk）。计算机科学课堂讲稿7388，1-54（2012）。MSC公司：20层03 03B20型 03B45号 03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}和\textit{O.Kutz}，莱克特。注释计算。科学。7388，1-54（2012；Zbl 1250.03116） 全文： 内政部 链接
奥拉夫·拜尔斯多夫;泽农·萨多夫斯基 承诺类有完整的集合吗？ （英文） 兹比尔1253.68138 数学。日志。问：。 57，第6号，535-550（2011）.MSC公司：2015年第68季度 20层03 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}和\textit{Z.Sadowski}，数学。日志。问57，第6号，535--550（2011；Zbl 1253.68138） 全文： 内政部
奥拉夫·拜尔斯多夫;阿恩·梅尔;塞巴斯蒂安·米勒;迈克尔·托马斯;赫里贝特·沃尔默 命题缺省逻辑的证明复杂性。 （英文） Zbl 1308.03057号 架构（architecture）。数学。逻辑 50，编号7-8，727-742（2011）. 审核人：埃米尔·杰亚贝克（普拉哈） MSC公司：20层03 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人，Arch。数学。逻辑50，编号7--8，727--742（2011；Zbl 1308.03057） 全文： 内政部 链接
奥拉夫·拜尔斯多夫;约翰·科布勒;塞巴斯蒂安·米勒 接受建议的证明系统。 （英文） Zbl 1222.03062号 Inf.计算。 209，编号320-332（2011）.MSC公司：20层03 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人，《信息计算》。209，第3号，320-332（2011；Zbl 1222.03062） 全文： 内政部
奥拉夫·拜尔斯多夫;尼古拉·加莱西;马西莫·劳里亚 DPLL搜索过程的参数化复杂性。 （英文） Zbl 1330.68099号 Sakallah，Karem A.（编辑）等人，《可满足性测试的理论和应用——2011年SAT》。2011年6月19日至22日，美国密歇根州安娜堡，第14届国际会议，SAT 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21580-3/pbk）。计算机科学讲座笔记66955-18（2011）。MSC公司：65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人，Lect。注释计算。科学。6695，5-18（2011；Zbl 1330.68099） 全文： 内政部 链接
奥拉夫·拜尔斯多夫;阿恩·迈尔;迈克尔·托马斯;赫里贝特·沃尔默 对默认逻辑片段进行推理的复杂性。 （英文） Zbl 1247.68263号 Kullmann，Oliver（编辑），可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02776-5/pbk）。计算机科学课堂讲稿5584，51-64（2009）。MSC公司：68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人，Lect。注释计算。科学。5584、51-64（2009年；Zbl 1247.68263） 全文： 内政部 arXiv公司