Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.
Jean-François CondottaAli MensiIssam NouaouriMichael SioutisLamjed Ben SaïdPublished in: AIMSA (2016)
Keyphrases
- spatial and temporal
- constraint networks
- qualitative spatial and temporal reasoning
- satisfiability testing
- interval algebra
- maximal tractable
- temporal reasoning
- tree decomposition
- spatio temporal
- constraint satisfaction problems
- spatial and temporal information
- space time
- path consistency
- reasoning problems
- temporal constraint networks
- satisfiability problem
- search algorithm
- constraint satisfaction
- qualitative and quantitative
- point algebra
- search space
- constraint programming
- np complete
- sat problem
- phase transition
- arc consistency
- combinatorial optimization
- temporal dimension
- propositional satisfiability
- spatial temporal
- optimal solution
- video frames
- temporal constraints
- answer set programming
- computational complexity
- object detection
- low level
- temporal domain