Keyphrases
- np complete
- satisfiability problem
- randomly generated
- np hard
- conjunctive queries
- computational complexity
- constraint satisfaction problems
- polynomially solvable
- np complete problems
- polynomial time complexity
- pspace complete
- high level
- sat problem
- decision making
- objective function
- data complexity
- decision trees
- bounded treewidth
- information retrieval
- computationally complex
- neural network