亚历山德罗·阿巴特;哈尼尔·巴博萨;克拉克·巴雷特;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林;安德鲁·雷诺兹;塞萨尔·蒂内利 用非平凡常数合成程序。 （英语） 兹伯利07702725 J.汽车。推理 67，第2号，第19号论文，第25页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人，J.Autom。推理67，第2号，第19号论文，第25页（2023；Zbl 07702725） 全文： DOI程序
阿明·比尔;丹尼尔·科宁 基于SAT的模型检查。 （英语） Zbl 1392.68232号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。277-303 (2018).MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Biere}和\textit{D.Kröning}，in：模型检查手册。查姆：斯普林格。277--303（2018；Zbl 1392.68232） 全文： DOI程序
布莱恩，马丁;维杰·德·席尔瓦;阿尔贝托·格里乔;利奥波德·哈勒;丹尼尔·克罗宁 利用抽象冲突驱动子句学习确定浮点逻辑。 （英语） Zbl 1317.68110号 形式方法系统。设计。 45，第2期，213-245（2014）.MSC公司：60年第68季度 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Brain}等人，《形式方法系统》。设计。45，第2号，213--245（2014；Zbl 1317.68110） 全文： DOI程序
安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·瓦尔 在普雷斯伯格算法的扩展中超越了无量词插值。 （英语） Zbl 1318.03045号 Jhala，Ranjit（编辑）等人，《验证、模型检查和抽象解释》。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18274-7/pbk）。计算机科学课堂讲稿6538，88-102（2011）。MSC公司：03C40号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Brillout}等人，Lect。注释计算。科学。6538，88-102（2011；Zbl 1318.03045） 全文： DOI程序 arXiv公司
丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman） 可满足性模理论的框架。 （英语） Zbl 1192.68647号 正式Asp。计算。 21，第5期，485-494（2009）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}和\textit{O.Strichman}，正式Asp。计算。21，第5号，485--494（2009；Zbl 1192.68647） 全文： DOI程序