Keyphrases
- np complete
- np hard
- randomly generated
- constraint satisfaction problems
- higher order
- satisfiability problem
- computational complexity
- pairwise
- hypergraph model
- polynomial time complexity
- np complete problems
- pspace complete
- high order
- conjunctive queries
- special case
- grammatical inference
- high level
- natural language
- visual languages
- database systems