Efficient Search-Based Weighted Model Integration
Efficient Search-Based Weighted Model Integration
复制标题
基于搜索的高效加权模型集成
DOI:
--
复制
发表时间:
2019
期刊:
影响因子:
--
通讯作者:
Van den Broeck, G.
中科院分区:
文献类型:
--
作者:
Zeng, Z.;Van den Broeck, G.
登录
查看更多内容
DOI:
--
发表时间:
2015
期刊:
International Joint Conference on Artificial Intelligence
影响因子:
--
作者:
Vaishak Belle;A. Passerini;Guy Van den Broeck
通讯作者:
Guy Van den Broeck
DOI:
--
发表时间:
2015
期刊:
International Conference on Computer Aided Verification
影响因子:
--
作者:
K. V. Gleissenthall;Boris Köpf;A. Rybalchenko
通讯作者:
A. Rybalchenko
DOI:
10.1007/978-3-319-11433-0_3
发表时间:
2014
期刊:
--
影响因子:
--
作者:
Ben Mrad A
通讯作者:
Ben Mrad A
DOI:
10.1561/1900000052
发表时间:
2017-07
期刊:
Found. Trends Databases
影响因子:
--
作者:
Guy Van den Broeck;Dan Suciu
通讯作者:
Guy Van den Broeck;Dan Suciu
DOI:
--
发表时间:
2016
期刊:
International Joint Conference on Artificial Intelligence
影响因子:
--
作者:
Rodrigo de Salvo Braz;Ciaran O'Reilly;Vibhav Gogate;R. Dechter
通讯作者:
R. Dechter