Flexible Proof Production in an Industrial-Strength SMT Solver
Flexible Proof Production in an Industrial-Strength SMT Solver
复制标题
使用工业级 SMT 求解器进行灵活的打样生产
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Viteri, Scott
中科院分区：
文献类型：
--
作者：
Barbosa, Haniel;Reynolds, Andrew;Kremer, Gereon;Lachnitt, Hanna;Niemetz, Aina;Noetzli, Andres;Ozdemir, Alex;Preiner, Mathias;Viswanathan, Arjun;Viteri, Scott
登录
查看更多内容
影响因子：
0.5
作者：
A. Mahboubi
通讯作者：
A. Mahboubi
基于 DPLL(T) 的 SMT 求解器的惰性证明
DOI：
10.1109/fmcad.2016.7886666
发表时间：
2016
期刊：
2016 Formal Methods in Computer-Aided Design (FMCAD)
影响因子：
--
作者：
Guy Katz;Clark W. Barrett;C. Tinelli;Andrew Reynolds;Liana Hadarean
通讯作者：
Liana Hadarean
摘要：在证明助手中可靠地重建细粒度证明
影响因子：
5.2
作者：
Hans;M. Fleury;Martin Desharnais
通讯作者：
Martin Desharnais
Isabelle/HOL 中单变量实多项式的决策过程
DOI：
10.1145/2676724.2693166
发表时间：
2015
期刊：
Proceedings of the 2015 Conference on Certified Programs and Proofs
影响因子：
--
作者：
Manuel Eberl
通讯作者：
Manuel Eberl
在 Coq 中构建实代数数
DOI：
--
发表时间：
2012
期刊：
International Conference on Interactive Theorem Proving
影响因子：
--
作者：
C. Cohen
通讯作者：
C. Cohen