Y. Satake, H. Unno, and H. Yanagi, “Probabilistic Inference for Predicate Constraint Satisfaction”, AAAI, vol. 34, no. 02, pp. 1644-1651, Apr. 2020.