Keyphrases
- np complete
- np hard
- satisfiability problem
- randomly generated
- pspace complete
- constraint satisfaction problems
- polynomially solvable
- computational complexity
- phase transition
- data complexity
- polynomial time complexity
- conp complete
- bounded treewidth
- conjunctive queries
- special case
- artificial intelligence
- metadata
- database