(1)
Satake, Y.; Unno, H.; Yanagi, H. Probabilistic Inference for Predicate Constraint Satisfaction. AAAI 2020, 34, 1644-1651.