Preprocessing Quantified Constraint Satisfaction Problems with Value Reordering and Directional Arc and Path Consistency.
Kostas StergiouPublished in: Int. J. Artif. Intell. Tools (2008)
Keyphrases
- path consistency
- preprocessing
- temporal reasoning
- constraint networks
- constraint propagation
- global consistency
- constraint reasoning
- consistency checking
- backtracking algorithms
- constraint satisfaction
- constraint satisfaction problems
- arc consistency
- interval algebra
- feature extraction
- topological relations
- convex constraints
- temporal constraints
- state space
- object oriented
- qualitative spatial reasoning
- constraint graph
- qualitative and quantitative