Keyphrases
- constraint satisfaction problems
- constraint propagation
- constraint satisfaction
- generating explanations
- numeric data
- arc consistency
- constraint problems
- non binary
- causal models
- tree decomposition
- symmetry breaking
- partial constraint satisfaction
- hypertree decomposition
- constraint networks
- symbolic data
- decision diagrams
- temporal constraints
- forward checking
- constraint programming
- numeric values
- solving constraint satisfaction problems
- search space
- database