拉尔夫·威默;克里斯托夫·斯科尔;贝恩德·贝克尔 （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） 全文： 内政部
拉尔夫·威默;克里斯托夫·斯科尔;卡里娜·威默;贝恩德·贝克尔 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） 全文： 内政部
艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔;克里斯蒂安·德内特;詹森，尼尔斯;Joost-Pieter卡托恩;拉尔夫·威默 离散时间马尔可夫模型的反例生成：介绍性调查。 （英语） Zbl 1445.68130号 Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，第14届计算机、通信和软件系统设计正式方法国际学校，SFM 2014，意大利贝尔蒂诺罗。高级讲座。柏林：施普林格。莱克特。注释计算。科学。8483, 65-121 (2014).MSC公司：60年第68季度 60J22型 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。8483、65-121（2014年；Zbl 1445.68130） 全文： 内政部
拉尔夫·威默;詹森，尼尔斯;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩;贝恩德·贝克尔 线性时间概率验证的最小反例。 （英语） Zbl 1360.68604号 西奥。计算。科学。 549, 61-100 (2014).MSC公司：60年第68季度 60J20型 第68季度87 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Wimmer}等人，Theor。计算。科学。549、61-100（2014年；Zbl 1360.68604） 全文： 内政部
Stefan Kupferschmid;马修·刘易斯;托拜厄斯·舒伯特;贝恩德·贝克尔 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） 全文： 内政部
艾丽卡·阿尔布拉汉姆;马克·赫伯斯特里特;贝恩德·贝克尔;马丁·斯特芬 使用参数化数据结构检查有界模型。 （英语） Zbl 1277.68129号 Strichman，Ofer（编辑）等人，《第四届有界模型检验国际研讨会论文集》（BMC 2006），西雅图，华盛顿州，美国，2006年8月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第3期，3-16页（2007年）。MSC公司：60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，《电子》。理论注释。计算。科学。174，编号3，3--16（2007；Zbl 1277.68129） 全文： 内政部