马坦一世·贝利德。；巴特·陈·罗森伯格；沙迦·伊扎基 通过模型引导近似进行SMT采样。 （英语） Zbl 1529.68284号 Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 74-91 (2023).MSC公司：68T20型 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \文本{M.I.Peled}等人，Lect。注释计算。科学。14000，74-91（2023；Zbl 1529.68284） 全文： 内政部 arXiv公司
普兰提克·查特吉；杰德普辛·麦达；阿卡什·拉尔；罗伊，苏巴吉特 有界模型检查的验证引导下的欠近似加宽。 （英语） Zbl 1514.68126号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 304-324 (2022).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Chatterjee}等人，Lect。注释计算。科学。13371、304--324（2022；Zbl 1514.68126） 全文： 内政部
刘远东赛勒斯；庞成斌；丹尼尔·迪特施；埃里克·科斯金；Le，Ton-Chanh公司；乔治·波托卡利迪斯；徐军 证明位向量程序和反编译二进制文件的LTL属性。 （英语） Zbl 1520.68076号 哦，Hakjoo（编辑），编程语言和系统。第19届亚洲研讨会，APLAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。130088285-304（2021年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.C.Liu}等人，Lect。注释计算。科学。13008，285--304（2021；Zbl 1520.68076） 全文： 内政部 arXiv公司
尼基尔·皮姆帕尔切尔；费德里科·莫拉；伊丽莎白·波尔格林；Sanjit A.Seshia。 MedleySolver：在线SMT算法选择。 （英语） Zbl 07495591号 Li，Chu Min（ed.）等人，《可满足性测试的理论与应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 453-470 (2021).MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Pimpalkhare}等人，Lect。注释计算。科学。12831453-470（2021；Zbl 07495591） 全文： 内政部 链接
高正Okudono；安迪·金 注意差距：位向量插值重铸线性整数算法。 （英语） Zbl 1507.68338号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。1207879-96（2020年）。MSC公司：68伏15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Okudono}和\textit{A.King}，莱克特。注释计算。科学。12078、79-96（2020年；Zbl 1507.68338） 全文： 内政部
克拉克·巴雷特；塞萨尔·蒂内利 可满足性模理论。 （英语） 兹比尔1392.68379 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。305-343 (2018).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}和\textit{C.Tinelli}，in：模型检查手册。查姆：斯普林格。305-343（2018；Zbl 1392.68379） 全文： 内政部
阿明·比尔；丹尼尔·科宁 基于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） 全文： 内政部
彼得·施拉梅尔；丹尼尔·克罗宁；布莱恩，马丁；鲁本·马丁斯；蒂诺·特伊格；汤姆·比恩米勒 嵌入式软件的增量有界模型检查。 （英语） Zbl 1375.68081号 正式Asp。计算。 29，第5期，911-931（2017）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Schrammel}等人，《形式语法》。计算。29，第5号，911--931（2017；Zbl 1375.68081） 全文： 内政部 arXiv公司
扎卡里亚·奇哈尼；布鲁诺·玛丽；弗朗索瓦·博博特；塞巴斯蒂安·巴丁 位向量理论的锐化约束规划方法。 （英语） Zbl 1489.68249号 Salvagnin，Domenico（编辑）等人，《人工智能和OR技术在约束编程中的集成》。2017年6月5日至8日在意大利帕多瓦举行的2017年CPAIOR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10335, 3-20 (2017).MSC公司：68T20型 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chihani}等人，Lect。注释计算。科学。10335，3--20（2017；Zbl 1489.68249） 全文： 内政部 链接
Aleksandar Zeljić；Christoph M.温特斯泰格。；菲利普·吕默 求解器和决策程序的近似框架。 （英语） Zbl 1409.68265号 J.汽车。推理 58，第1期，127-147（2017）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Zeljić}等人，J.Autom。推理58，No.1，127--147（2017；Zbl 1409.68265） 全文： 内政部 链接
格格利·科瓦什奈；安德烈亚斯·弗里奇；阿明·比尔 固定大小位向量逻辑的复杂性。 （英语） Zbl 1357.68086号 理论计算。系统。 59，第2期，323-376（2016）.MSC公司：65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kovásznai}等人，《理论计算》。系统。59，第2号，323--376（2016；Zbl 1357.68086） 全文： 内政部
马丁·乔纳什；斯特雷切克，简 使用二元决策图求解量化位向量公式。 （英语） 兹比尔1475.68345 Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 267-283 (2016).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Jonáš}和\textit{J.Strejček}，莱克特。注释计算。科学。9710，267--283（2016；Zbl 1475.68345） 全文： 内政部
萨伊德·阿贝德；奥特曼·艾特·穆罕默德；盖亚斯·萨马内 高阶逻辑中约简技术的自动验证。 （英语） Zbl 1298.68162号 正式Asp。计算。 25，第6号，971-991（2013）.MSC公司：60年第68季度 68吨15 68T27型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Abed}等人，正式Asp。计算。25，第6号，971--991（2013；Zbl 1298.68162） 全文： 内政部
Anthony C.J.福克斯。 HOL4中的LCF型位爆破。 （英语） Zbl 1342.68283号 Van Eekelen，Marko（编辑）等，交互式定理证明。2011年8月22日至25日，荷兰卑尔根达尔，第二届国际会议，ITP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22862-9/pbk）。计算机科学课堂讲稿6898，357-362（2011）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.C.J.福克斯}，莱克特。注释计算。科学。6898357-362（2011年；兹bl 1342.68283） 全文： 内政部
菲利普·马里奇；Janičić，普雷德拉格 URBiVA：位向量算法的统一约简。 （英语） Zbl 1291.68361号 Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，346-352（2010）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Marić}和\textit{P.Janić}.莱克特。注释计算。科学。6173346--352（2010年；Zbl 1291.68361） 全文： 内政部
塞德里克馅饼；尤塞夫·哈马迪；拉赫达尔·塞伊斯 MUS计算决策过程的有效组合。 （英语） Zbl 1193.68226号 Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学课堂讲稿5749。人工智能课堂讲稿，335-349（2009）。MSC公司：68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Piette}等人，Lect。注释计算。科学。5749335--349（2009年；Zbl 1193.68226） 全文： 内政部