拉尔夫·威默;卡里娜·吉蒂娜;珍妮弗·尼斯特;克里斯托夫·斯科尔;贝恩德·贝克尔 DQBF的预处理。 （英语） 兹比尔1471.68264 Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，美国德克萨斯州奥斯汀，2015年9月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9340, 173-190 (2015).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Wimmer}等人，Lect。注释计算。科学。9340、173--190（2015年；Zbl 1471.68264） 全文： DOI程序
斯特凡·库普弗施米德;马修·刘易斯;托拜厄斯·舒伯特;贝恩德·贝克尔 BMC中使用的增量预处理方法。 （英语） Zbl 1247.68167号 形式方法系统。设计。 39，第2期，185-204（2011）.MSC公司：60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kupferschmid}等人，《形式方法系统》。设计。39，第2号，185--204（2011；Zbl 1247.68167） 全文： DOI程序
艾丽卡·阿尔布拉汉姆;托拜厄斯·舒伯特;贝恩德·贝克尔;马丁·范策尔;克里斯蒂安·赫尔德 有界模型检查中的并行SAT求解。 （英语） 兹比尔1213.68359 J.日志。计算。 21，第1期，5-21（2011）.MSC公司：60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，J.Log。计算。21，第1号，第5--21号（2011；Zbl 1213.68359） 全文： DOI程序
托拜厄斯·舒伯特;马修·刘易斯;贝恩德·贝克尔 PaMirXT：线程和消息传递的并行SAT求解。 （英语） 兹比尔1190.68057 J.满意。布尔模型。计算。 6，第4期，203-222（2009）.MSC公司：68T20型 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{T.Schubert}等人，J.Satisfe。布尔模型。计算。6，第4号，203--222（2009；Zbl 1190.68057）
拉尔夫·威默;布雷丁，贝蒂娜;贝恩德·贝克尔 使用有界模型检查生成离散时间马尔可夫链的反例。 （英语） Zbl 1206.68195号 Jones，Neil D.（编辑）等人，《验证、模型检验和抽象解释》。2009年1月18日至20日，第十届国际会议，VMCAI 2009，美国佐治亚州萨凡纳。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-93899-6/pbk）。计算机科学课堂讲稿5403，366-380（2009）。MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Wimmer}等人，Lect。注释计算。科学。5403、366--380（2009年；Zbl 1206.68195） 全文： DOI程序
艾丽卡·阿尔布拉汉姆;马克·赫伯斯特里特;贝恩德·贝克尔;马丁·斯特芬 使用参数化数据结构检查有界模型。 （英语） Zbl 1277.68129号 Strichman，Ofer（ed.）等人，《第四届有界模型检验国际研讨会论文集》（BMC 2006），美国华盛顿州西雅图，2006年8月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第3期，3-16页（2007年）。MSC公司：60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，《电子》。注释Theor。计算。科学。174，编号3，3--16（2007；Zbl 1277.68129） 全文： DOI程序
马修·刘易斯。;托拜厄斯·舒伯特;Bernd W.贝克尔。 现代SAT解算器中使用的加速技术——MIRA环境中的分析。 （英语） Zbl 1128.68471号 Bacchus，Fahiem（编辑）等，可满足性测试的理论和应用。2005年6月19日至23日在英国圣安德鲁斯举行的2005年SAT第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-26276-8/pbk）。计算机科学课堂讲稿3569437-443（2005）。MSC公司：68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.D.T.Lewis}等人，Lect。注释计算。科学。3569437--443（2005年；Zbl 1128.68471） 全文： DOI程序