Keyphrases
- inference process
- constraint satisfaction problems
- bayesian inference
- non binary
- constraint problems
- partial constraint satisfaction
- constraint satisfaction
- dynamic constraint satisfaction problems
- soft constraints
- finite domain
- sat encodings
- constraint programming
- solving problems
- inference mechanism
- backward chaining
- possibilistic networks