Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
复制标题
在SMT中证明UNSAT：无量词非线性实数算术案例
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Abraham,E.,
中科院分区：
文献类型：
--
作者：
Abraham,E.,
登录
查看更多内容
用于 SMT 打样的 LFSC：正在进行中
DOI：
--
发表时间：
2012
期刊：
International Workshop on Proof Exchange for Theorem Proving
影响因子：
--
作者：
Aaron Stump;Andrew Reynolds;C. Tinelli;Austin Laugesen;H. Eades;C. Oliver;Ruoyu Zhang
通讯作者：
Ruoyu Zhang
影响因子：
0.5
作者：
A. Mahboubi
通讯作者：
A. Mahboubi
DOI：
--
发表时间：
2020-04
期刊：
--
影响因子：
--
作者：
Erika 'Abrah'am;J. Davenport;M. England;Gereon Kremer;Zak Tonks
通讯作者：
Erika 'Abrah'am;J. Davenport;M. England;Gereon Kremer;Zak Tonks
用于公式处理的可扩展细粒度证明
DOI：
10.1007/s10817-018-09502-y
发表时间：
2017
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
Haniel Barbosa;J. Blanchette;M. Fleury;P. Fontaine
通讯作者：
P. Fontaine
DOI：
10.1007/978-3-642-14128-7_17
发表时间：
2010-07
期刊：
--
影响因子：
--
作者：
C. Cohen;A. Mahboubi
通讯作者：
C. Cohen;A. Mahboubi