Scaling Integer Arithmetic in Probabilistic Programs
Scaling Integer Arithmetic in Probabilistic Programs
复制标题
概率程序中整数算术的缩放
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Van den Broeck, Guy
中科院分区：
文献类型：
--
作者：
Cao, William;Garg, Poorva;Tjoa, Ryan;Holtzen, Steven;Millstein, Todd;Van den Broeck, Guy
登录
查看更多内容
AQUA：概率程序的自动量化推理
DOI：
10.1007/978-3-030-88885-5_16
发表时间：
2021
期刊：
2021 in Automated Technology for Verification and Analysis
影响因子：
--
作者：
Huang, Zixin;Dutta, Saikat;Misailovic, Sasa
通讯作者：
Misailovic, Sasa
BDD——设计、分析、复杂性和应用
影响因子：
1.1
作者：
I. Wegener
通讯作者：
I. Wegener
DOI：
10.1609/aaai.v26i1.8406
发表时间：
2012
期刊：
ArXiv
影响因子：
--
作者：
S. Sanner;Ehsan Abbasnejad
通讯作者：
Ehsan Abbasnejad
Hakaru 中程序转换的概率推理（系统描述）
DOI：
10.1007/978-3-319-29604-3_5
发表时间：
2016
期刊：
IEEE INFOCOM 2009
影响因子：
--
作者：
P. Narayanan;J. Carette;Wren Romano;Chung;R. Zinkov
通讯作者：
R. Zinkov
计算受限偏集的线性扩展
影响因子：
0.7
作者：
Samuel Dittmer;I. Pak
通讯作者：
I. Pak