Probabilistic Inference for Predicate Constraint Satisfaction. - Yuki Satake; Hiroshi Unno 001; Hinata Yanagi (AAAI, 2020)