Keyphrases
- constraint satisfaction problems
- mobility patterns
- mobile agents
- tree decomposition
- decomposition methods
- arc consistency
- constraint propagation
- mobile networks
- human mobility
- constraint networks
- constraint satisfaction
- np complete
- arc consistency algorithm
- mobile users
- constraint programming
- closest string
- solving constraint satisfaction problems
- neural network
- constraint solving
- database
- sat problem
- np hard
- tree decompositions