Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey