Inference-Based Constraint Satisfaction Supports Explanation.
Mohammed H. SqalliEugene C. FreuderPublished in: AAAI/IAAI, Vol. 1 (1996)
Keyphrases
- constraint satisfaction
- probabilistic reasoning
- constraint satisfaction problems
- constraint relaxation
- relaxation labeling
- heuristic search
- phase transition
- constraint propagation
- combinatorial problems
- robust fault detection
- arc consistency
- product configuration
- probabilistic inference
- constraint programming
- abductive reasoning
- soft constraints
- russian doll search
- learning algorithm
- constraint solving
- non binary
- sat solvers
- constraint problems
- constraint networks
- search space
- neural network