Keyphrases
- np complete
- randomly generated
- satisfiability problem
- computational complexity
- np hard
- bounded treewidth
- constraint satisfaction problems
- pspace complete
- polynomially solvable
- polynomial time complexity
- sat problem
- phase transition
- conjunctive queries
- data complexity
- np complete problems
- decision making
- databases
- special case
- computationally complex