Keyphrases
- unified model
- constraint satisfaction problems
- expressive power
- constraint satisfaction
- formal language
- cross lingual
- language independent
- formal specification
- neural network
- tree decompositions
- language identification
- constraint solving
- decomposition methods
- search algorithm
- sat problem
- constraint networks
- text summarization
- natural language
- delay insensitive
- database