TY  - RPRT
TI  - Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing
AU  - Zhe Zeng
AU  - Paolo Morettin
AU  - Fanqi Yan
AU  - Antonio Vergari
AU  - Guy Van den Broeck
PY  - 2020
UR  - https://arxiv.org/abs/2003.00126
ID  - 2003.00126
ER  -