卡波迪，G。；卡穆拉蒂，体育。；帕莱纳，M。；帕西尼，P。 带引导精化的插值：在基于SAT的无界模型检查中重新访问增量。 （英语） Zbl 07683085号 形式方法系统。设计。 60，第2期，117-146（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit｛G.Cabodi｝等人，《表格方法系统》。设计。60，第2号，117--146（2022；Zbl 07683085） 全文： 内政部
彼得·兰米奇 高效验证（UN）SAT证书检查。 （英语） Zbl 1468.68134号 J.汽车。推理 64，第3期，513-532（2020年）.MSC公司：60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Lammich}，J.Autom（美国汽车制造商协会）。推理64，No.3，513--532（2020；Zbl 1468.68134） 全文： 内政部
贾斯敏·克里斯蒂安·布兰切特；马蒂亚斯·弗勒里；彼得·兰米奇；克里斯托夫·韦登巴赫 一个经过验证的SAT求解器框架，具有学习、遗忘、重启和增量功能。 （英语） Zbl 1448.68457号 J.汽车。推理 61，编号1-4，333-365（2018）.MSC公司：68伏15 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人，J.Autom。推理61，No.1--4，333--365（2018；Zbl 1448.68457） 全文： 内政部 链接
卡波迪，G。；卡穆拉蒂，体育。；A.米什琴科。；帕莱纳，M。；帕西尼，P。 IC3中SAT求解器管理策略：实验方法。 （英语） Zbl 1360.68580号 形式方法系统。设计。 50，第1号，39-74（2017）.MSC公司：60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛G.Cabodi｝等人，《表格方法系统》。设计。50，第1号，39--74（2017；Zbl 1360.68580） 全文： 内政部
Timothy王；罗曼·乔布雷多；马克·潘特尔；皮埃尔·洛伊·卡洛什；埃里克·费龙；迪迪埃·亨利昂 可信的凸优化算法自动编码。 （英语） Zbl 1364.90247号 最佳方案。工程师。 17，第4781-812号（2016）.MSC公司：90立方厘米22 90摄氏51度 68号30 90C25型 PDF格式BibTeX公司 XML格式引用 \textit{T.Wang}等人，Optim。工程17，编号4，781--812（2016；Zbl 1364.90247） 全文： 内政部 arXiv公司 哈尔
贾斯敏·克里斯蒂安·布兰切特；马蒂亚斯·弗勒里；克里斯托夫·韦登巴赫 一个经过验证的SAT求解器框架，具有学习、遗忘、重启和增量功能。 （英语） Zbl 1475.68432号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9706, 25-44 (2016).MSC公司：68伏15 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛J.C.Blanchette｝等人，Lect。票据计算。科学。9706，25-44（2016；Zbl 1475.68432） 全文： 内政部 哈尔
亚历克斯·格罗斯；克劳斯·哈维隆德；杰拉尔德·霍尔兹曼；拉杰夫·乔希；徐如刚 建立飞行软件可靠性：测试、模型检查、约束求解、监控和学习。 （英语） Zbl 1298.68063号 安。数学。Artif公司。智力。 70，第4期，315-349（2014）.MSC公司：68号30 76-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Groce}等人，《数学年鉴》。Artif公司。智力。70，第4号，315--349（2014；Zbl 1298.68063） 全文： 内政部
安德烈·普卡 选择用于解决3-SAT问题的搜索策略。 （英语） Zbl 1293.68253号 国际期刊申请。数学。计算。科学。 24，第2期，283-297（2014）.MSC公司：68T20型 90C09型 PDF格式BibTeX公司 XML格式引用 \textit{A.Pułka}，国际期刊应用。数学。计算。科学。24，第2号，283--297（2014；Zbl 1293.68253） 全文： 内政部
de Oliveira，Diego Caminha B。；戴维·戴哈贝；帕斯卡·方丹 通过（模型-）等式传播组合决策过程。 （英语） Zbl 1243.68150号 科学。计算。程序。 77，第4期，518-532（2012）.MSC公司：68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.C.B.de Oliveira}等人，科学。计算。程序。77，编号41518-532（2012年；兹bl 1243.68150） 全文： 内政部
斯蒂芬妮·坎佩尔 基于SAT的定时组件连接器验证。 （英语） Zbl 1279.68212号 科学。计算。程序。 77，编号7-8，779-798（2012）.MSC公司：60年第68季度 68T20型 65年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Kemper}，科学。计算。程序。77，编号7--8，779--798（2012；Zbl 1279.68212） 全文： 内政部
菲利普·马里奇；贾尼契奇，普雷德拉格 SAT抽象状态转移系统的形式化。 （英语） Zbl 1237.68179号 日志。方法计算。科学。 7，第3号，第19号论文，37页（2011年）.MSC公司：68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Marić}和\textit{P.Janići}，日志。方法计算。科学。7，第3号，第19号文件，第37页（2011年；兹bl 1237.68179） 全文： 内政部 arXiv公司
菲利普·马里奇 通过浅层嵌入Isabelle/HOL对现代SAT解算器进行形式化验证。 （英语） Zbl 1208.68205号 西奥。计算。科学。 411，第50号，4333-4356（2010）.MSC公司：68T20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{F.Marić}，Theor。计算。科学。411，第50号，4333--4356（2010；Zbl 1208.68205） 全文： 内政部
斯蒂芬妮·坎佩尔 基于SAT的定时组件连接器验证。 （英语） Zbl 1366.68172号 Salaün，Gwen（编辑）等人，第八届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2009），希腊罗德斯，2009年7月11日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记255，103-118（2009）。MSC公司：60年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kemper}，电子。注释Theor。计算。科学。255、103——118（2009年；Zbl 1366.68172） 全文： 链接
Fadi A.阿卢尔。；阿拉提·拉马尼；伊戈尔·马尔科夫。；卡伦·萨卡拉。 布尔可满足性的动态对称破缺。 （英语） Zbl 1205.68366号 安。数学。Artif公司。智力。 57，第1期，59-73（2009）.MSC公司：68T20型 90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{F.A.Aloul}等人，《数学年鉴》。Artif公司。智力。57，第1号，59--73（2009；Zbl 1205.68366） 全文： 内政部
科恩·克莱森；伊恩，尼古拉斯；希兰，玛丽；尼古拉斯·Sörensson；阿列克谢·沃罗诺夫；克努特·奥凯森 在实践中解决SAT问题，并提供来自监督控制的教程示例。 （英语） Zbl 1180.93065号 离散事件动态。系统。 19，第4期，495-524（2009）.MSC公司：93元65角 93甲13 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{K.Claessen}等人，《离散事件动力学》。系统。19，第4号，495--524（2009；Zbl 1180.93065） 全文： 内政部 链接
菲利普·马里奇 现代SAT求解器的形式化和实现。 （英语） Zbl 1187.68557号 J.汽车。推理 43，第1号，81-119（2009）.MSC公司：68T20型 68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Marić}，J.Autom。推理43，No.1，81--119（2009；Zbl 1187.68557） 全文： 内政部
Jens Schönherr；马丁·弗雷博特；伯恩德·斯特劳贝；Jörg Bormann 通过基于SAT的特性检查对混合信号电路稳态行为进行半形式验证。 （英语） Zbl 1293.68193号 西奥。计算。科学。 404，第3号，293-307（2008）.MSC公司：60年第68季度 68号30 94C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{J.Schönherr}等人，Theor。计算。科学。404，第3号，293--307（2008；Zbl 1293.68193） 全文： 内政部
大卫·柯里；冯秀珊；Masahiro Fujita；胡亚伦·J·。；马克·关；斯雷兰加·拉詹 使用符号执行和未解释的功能进行嵌入式软件验证。 （英语） Zbl 1100.68586号 国际J并行程序。 34，第1期，61-91（2006）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Currie}等人，《国际并行程序》。34，第1号，61--91（2006；Zbl 1100.68586） 全文： 内政部
加内什·戈帕拉克里什南 计算工程。应用自动机理论和逻辑。 （英语） Zbl 1138.68432号 纽约州纽约市：施普林格出版社（ISBN 0-387-24418-2/hbk）。xxxvi，476页。(2006).MSC公司：65年第68季度 68-01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Gopalakrishnan}，计算工程。应用自动机理论和逻辑。纽约州纽约市：施普林格（2006；Zbl 1138.68432）
沃伊切赫·彭泽克；阿加塔·波罗拉 时间Petri网和时间自动机验证的进展。时间逻辑方法。 （英语） Zbl 1110.68087号 计算智能研究20.柏林：施普林格出版社（ISBN 3-540-32869-6/hbk）。xxxii，257页。(2006). 审核人：Ryszard Janicki（汉密尔顿） MSC公司：68问题85 65年第68季度 60年第68季度 03B44号 68号30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}和\textit{A.Półrola}，时间Petri网和时间自动机验证的进展。时间逻辑方法。柏林：施普林格出版社（2006；Zbl 1110.68087） 全文： 内政部
太棒了，穆罕默德；法比奥·萨蒙齐 通过有界模型检查证明更多属性。 （英语） Zbl 1103.68603号 Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，96-108（2004）。MSC公司：60年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit｛M.Awedh｝和\textit｛F.Somenzi｝，Lect。票据计算。科学。3114，96-108（2004年；兹bl 1103.68603） 全文： 内政部
沃纳、博埃纳；安德烈·兹布雷泽兹尼；沃伊切赫·彭泽克 通过SAT检查时间自动机的可达性属性。 （英语） Zbl 1111.68548号 芬丹。通知。 55，第2期，223-241（2003）.MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Woźna}等人，Fundam。通知。55，第2号，223--241（2003；Zbl 1111.68548）
沃伊切赫·彭泽克；沃纳、波ẓ埃纳；安德烈·兹布雷泽兹尼 面向TCTL通用片段的有界模型检查。 （英语） Zbl 1278.68192号 Damm，Werner（ed.）等人，实时和容错系统中的形式化技术。2002年9月9日至12日，由IFIP WG 2.2共同主办的第七届国际研讨会，FTRTFT 2002。诉讼程序。柏林：施普林格出版社（ISBN 3-540-44165-4/pbk）。计算机科学课堂讲稿2469265-288（2002）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}等人，Lect。票据计算。科学。2469265--288（2002年；Zbl 1278.68192） 全文： 内政部
彼得·尼伯特；莫伊兹·马赫福德；尤金·亚萨林；马里乌斯·博兹加；奥德·马勒 通过可满足性检查验证时间自动机。 （英语） Zbl 1278.68187号 Damm，Werner（ed.）等人，实时和容错系统中的形式化技术。2002年9月9日至12日，由IFIP WG 2.2共同主办的第七届国际研讨会，FTRTFT 2002。诉讼程序。柏林：施普林格出版社（ISBN 3-540-44165-4/pbk）。计算机科学课堂讲稿2469225-243（2002）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Niebert}等人，Lect。票据计算。科学。2469225-243（2002年；Zbl 1278.68187） 全文： 内政部