Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations - Zeng, Zhe; Morettin, Paolo; Yan, Fanqi; Vergari, Antonio; Van den Broeck, Guy (Advances in Neural Information Processing Systems, 2020)