Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing

TPM
Re-assign community