Probabilistic Inference for Predicate Constraint Satisfaction.
Yuki SatakeHiroshi UnnoHinata YanagiPublished in: AAAI (2020)
Keyphrases
- constraint satisfaction
- probabilistic inference
- constraint satisfaction problems
- graphical models
- belief networks
- bayesian networks
- probabilistic reasoning
- message passing
- first order logic
- conditional probabilities
- constraint relaxation
- weighted model counting
- phase transition
- constraint propagation
- constraint programming
- heuristic search
- arc consistency
- russian doll search
- belief propagation
- constraint networks
- robust fault detection
- sat solvers
- soft constraints