Compiling Constraint Networks into Multivalued Decomposable Decision Graphs.
Frédéric KoricheJean-Marie LagniezPierre MarquisSamuel ThomasPublished in: IJCAI (2015)
Keyphrases
- constraint networks
- series parallel
- uniform random
- temporal reasoning
- tree decomposition
- constraint graph
- constraint satisfaction problems
- constraint programming
- arc consistency
- set intersection
- temporal constraint networks
- constraint satisfaction
- path consistency
- backtracking algorithms
- backtracking algorithm
- scene labeling
- tree width
- np complete
- constraint propagation
- complexity bounds
- qualitative spatial and temporal reasoning
- interval algebra
- graph theory
- markov networks
- contextual information
- knowledge representation
- image retrieval