Keyphrases
- np complete
- satisfiability problem
- np hard
- randomly generated
- computational complexity
- np complete problems
- constraint satisfaction problems
- decision trees
- polynomially solvable
- tree construction
- pspace complete
- polynomial time complexity
- tree structure
- data complexity
- tree models
- automatic recognition
- tree automata
- binary trees
- real time
- databases