Keyphrases
- np complete
- np hard
- randomly generated
- satisfiability problem
- computational complexity
- pspace complete
- constraint satisfaction problems
- polynomially solvable
- bounded treewidth
- conjunctive queries
- polynomial time complexity
- phase transition
- probability distribution
- cnf formula
- description logics
- special case
- metadata
- np complete problems
- data sets
- database