Bound Propagation for Arithmetic Reasoning in Vampire
Bound Propagation for Arithmetic Reasoning in Vampire
复制标题
Vampire 中算术推理的约束传播
DOI：
10.1109/synasc.2013.30
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Dragan I
中科院分区：
文献类型：
--
作者：
Dragan I
GoRRiLA 和残酷的现实
DOI：
--
发表时间：
2011
期刊：
Ershov Memorial Conference
影响因子：
--
作者：
Konstantin Korovin;A. Voronkov
通讯作者：
A. Voronkov
通过有界传播求解线性不等式组
DOI：
10.1007/978-3-642-22438-6_28
发表时间：
2011
期刊：
The Astrophysical Journal
影响因子：
--
作者：
Konstantin Korovin;A. Voronkov
通讯作者：
A. Voronkov
Natural Domain SMT：初步评估
DOI：
--
发表时间：
2010
期刊：
International Conference on Formal Modeling and Analysis of Timed Systems
影响因子：
--
作者：
Scott Cotton
通讯作者：
Scott Cotton