Keyphrases
- np complete
- np hard
- randomly generated
- satisfiability problem
- constraint satisfaction problems
- computational complexity
- conjunctive queries
- sat problem
- pspace complete
- np complete problems
- phase transition
- data complexity
- bounded treewidth
- polynomial time complexity
- conp complete
- special case
- reinforcement learning
- database