CSiSAT: A satisfiability solver for SMT formulas with continuous probability distributions
CSiSAT: A satisfiability solver for SMT formulas with continuous probability distributions
复制标题
CSiSAT：具有连续概率分布的 SMT 公式的可满足性求解器
DOI：
10.1109/snr.2016.7479382
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
M. Fränzle
中科院分区：
文献类型：
--
作者：
M. Fränzle
登录
查看更多内容
DOI：
10.1007/978-3-540-31954-2_2
发表时间：
2005-03
期刊：
--
影响因子：
--
作者：
Edward A. Lee;Haiyang Zheng
通讯作者：
Edward A. Lee;Haiyang Zheng
影响因子：
3.9
作者：
M. Fränzle;H. Hermanns;Tino Teige
通讯作者：
M. Fränzle;H. Hermanns;Tino Teige
连续域随机可满足性模理论的求解过程
DOI：
10.1007/978-3-319-22264-6_19
发表时间：
2015
期刊：
影响因子：
--
作者：
M. Fränzle
通讯作者：
M. Fränzle
影响因子：
2.9
作者：
Tino Teige;M. Fränzle
通讯作者：
M. Fränzle