Keyphrases
- denotational semantics
- programming language
- constraint satisfaction problems
- operational semantics
- query language
- abstract data types
- arc consistency
- constraint programming
- constraint satisfaction
- decomposition methods
- constraint propagation
- np hard
- spatio temporal
- formal semantics
- sensor data
- distance measure
- general purpose