Alexandre Dubray, Pierre Schaus, Siegfried Nijssen. Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses. In Roland H. C. Yap, editor, 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada. Volume 280 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
@inproceedings{DubraySN23,
title = {Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses},
author = {Alexandre Dubray and Pierre Schaus and Siegfried Nijssen},
year = {2023},
doi = {10.4230/LIPIcs.CP.2023.15},
url = {https://doi.org/10.4230/LIPIcs.CP.2023.15},
researchr = {https://researchr.org/publication/DubraySN23},
cites = {0},
citedby = {0},
booktitle = {29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada},
editor = {Roland H. C. Yap},
volume = {280},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-300-3},
}