塞皮德·阿萨迪;马丁·布利查;安蒂·E·J·海瓦·里宁。;格里戈里·费迪尤科维奇;莎里吉娜，娜塔莎 通过概要修复对基于SMT的程序更改进行验证。 （英语） Zbl 07757154号 表格方法系统。设计。 60，第3号，350-380（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Asadi}等人，《形式方法系统》。设计。60，编号3，350-380（2022；Zbl 07757154） 全文： 内政部 OA许可证
维奥里卡Sofrone-Stokkerman 关于理论扩展中的插值和符号消除。 （英语） Zbl 1476.03043号 日志。方法计算。科学。 14，第3号，第23号论文，41页（2018年）.MSC公司：03C40号 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.Sofronie-Stokkermans}，日志。方法计算。科学。14，第3号，第23号论文，41页（2018；Zbl 1476.03043） 全文： 内政部 arXiv公司
克拉克·巴雷特;塞萨尔·蒂内利 可满足性模理论。 （英语） Zbl 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年；兹比尔1392.68379） 全文： 内政部
戴维·莫尼奥 满意度模理论综述。 （英语） Zbl 1453.68116号 Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9890, 401-425 (2016).MSC公司：68兰特 03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Monniaux}，莱克特。注释计算。科学。9890401-425（2016；Zbl 1453.68116） 全文： 内政部 arXiv公司
于尔根，基督;Jochen Hoenicke公司 保留树插值的证明树。 （英语） Zbl 1356.68184号 J.汽车。推理 57，第1号，67-95（2016）.MSC公司：第68页第15页 03B35型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{J.Christ}和textit{J Hoenicke}，J.Autom。推理57，No.1，67--95（2016；Zbl 1356.68184） 全文： 内政部
西蒙·富尔维奥·罗里尼;罗伯特·布鲁托梅索;莎里吉娜，娜塔莎;阿里亚克西·齐托维奇 压缩和插值的防分辨率转换。 （英语） Zbl 1317.68123号 表格方法系统。设计。 45，第1期，1-41页（2014年）.MSC公司：60年第68季度 03C40号 20层03 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Rollini}等人，《形式方法系统》。设计。45，第1号，1--41（2014；Zbl 1317.68123） 全文： 内政部 arXiv公司
阿尔贝托·格里乔;Le，Thi Thieu Hoa先生;罗伯托·塞巴斯蒂亚尼 可满足模线性整数算法中的高效插值生成。 （英语） Zbl 1256.68138号 日志。方法计算。科学。 8，第3期，第3号论文，31页（2012年）.MSC公司：第68页第15页 03C40号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Griggio}等人，Log。方法计算。科学。8，第3期，第3号论文，31页（2012；Zbl 1256.68138） 全文： 内政部
富克斯，亚历山大;阿米特·戈尔;吉姆·格兰迪;萨瓦·克里斯蒂奇;塞萨尔·蒂内利 平等理论的地面插值。 （英语） Zbl 1239.03022号 日志。方法计算。科学。 8，第1号，第6号论文，23页（2012年）.MSC公司：03C40号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Fuchs}等人，日志。方法计算。科学。8，第1号，第6号论文，23页（2012；Zbl 1239.03022） 全文： 内政部
Stefan Kupferschmid;贝恩德·贝克尔 非线性约束条件下的克雷格插值。 （英语） 兹比尔1348.68141 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，240-255（2011）。MSC公司：60年第68季度 03C40号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Kupferschmid}和\textit{B.Becker}，莱克特。注释计算。科学。6919240-255（2011年；Zbl 1348.68141） 全文： 内政部
李，李;何开多;顾，明;宋晓宇 线性算术约束的等式检测。 （英语） Zbl 1237.91075号 浙江科技大学学报。A类 第10期，第12期，1784-1789（2009）.MSC公司：91B06型 90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{L.Li}等人，浙江科技大学。A 10，第12号，1784-1789（2009；Zbl 1237.91075） 全文： 内政部
安德烈亚斯·艾格斯;纳塔利亚·卡林尼克;Stefan Kupferschmid;蒂诺·特伊格 混合系统基于约束分析的挑战。 （英语） Zbl 1248.68328号 Oddi，Angelo（编辑）等人，约束的最新进展。第十三届ERCIM约束求解和约束逻辑编程国际研讨会，CSCLP 2008，罗马，意大利，2008年6月18-20日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03250-9/pbk）。计算机科学讲座笔记5655。人工智能课堂讲稿，51-65（2009）。MSC公司：60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Eggers}等人，Lect。注释计算。科学。5655、51-65（2009年；Zbl 1248.68328） 全文： 内政部
富克斯，亚历山大;阿米特·戈尔;吉姆·格兰迪;萨瓦·克里斯蒂奇;塞萨尔·蒂内利 平等理论的地面插值。 （英语） Zbl 1234.68257号 Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505413-427（2009）。MSC公司：60年第68季度 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{A.Fuchs}等人，Lect。注释计算。科学。5505413-427（2009年；Zbl 1234.68257） 全文： 内政部 arXiv公司