AND/OR Multi-valued Decision Diagrams for Constraint Networks.
Robert MateescuRina DechterPublished in: Concurrency, Graphs and Models (2008)
Keyphrases
- multi valued decision diagrams
- constraint networks
- temporal reasoning
- constraint satisfaction problems
- tree decomposition
- temporal constraint networks
- constraint satisfaction
- graphical models
- tree width
- constraint programming
- path consistency
- arc consistency
- backtracking algorithm
- scene labeling
- constraint propagation
- search algorithm
- qualitative spatial and temporal reasoning
- decision diagrams
- temporal constraints
- upper bound
- relational databases