Value Withdrawal Explanation in CSP.
Gérard FerrandWilly LesaintAlexandre TessierPublished in: AADEBUG (2000)
Keyphrases
- constraint satisfaction problems
- arc consistency
- decomposition methods
- constraint satisfaction
- constraint propagation
- cost based abduction
- constraint programming
- causal explanation
- low carbon
- counter intuitive
- information retrieval
- arc consistency algorithm
- constraint problems
- neural network
- tree decomposition
- constraint solving
- random instances
- constraint graph
- causal reasoning
- explanation based learning
- solving constraint satisfaction problems
- np hard
- genetic algorithm
- tree decompositions