@misc{indiciaef2f25fbd5d26,
  title = {Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing},
  author = {Zhe Zeng and Paolo Morettin and Fanqi Yan and Antonio Vergari and Guy Van den Broeck},
  year = {2020},
  url = {https://arxiv.org/abs/2003.00126},
  note = {Source identifier: 2003.00126}
}