穆罕默德·阿卜杜勒·阿齐兹;迈克尔·诺里什;查尔斯·格雷顿 上边界状态空间直径的正式验证算法。 （英语） Zbl 1451.68164号 J.汽车。推理 61，编号1-4，485-520（2018）.MSC公司：60年第68季度 68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Abdulaziz}等人，J.Autom。推理61，No.1--4，485--520（2018；Zbl 1451.68164） 全文： 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程序
Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 使用mcSAT确定位向量公式。 （英语） Zbl 1475.68226号 Creignou，Nadia（编辑）等人，《可满足性测试的理论和应用——SAT 2016》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 249-266 (2016).MSC公司：68兰特 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Zeljić}等人，Lect。注释计算。科学。9710，249--266（2016；Zbl 1475.68226） 全文： DOI程序