Keyphrases
- np complete
- np hard
- randomly generated
- computational complexity
- constraint satisfaction problems
- polynomial time complexity
- satisfiability problem
- conjunctive queries
- pspace complete
- phase transition
- polynomially solvable
- learning algorithm
- conp complete
- data complexity
- sat problem
- bounded treewidth
- computationally complex