%AZeng, Z.%Anull Ed.%D2020%I %K %MOSTI ID: 10210395 %PMedium: X %TScaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing %X Country unknown/Code not availableOSTI-MSA