Keyphrases
- np complete
- np hard
- randomly generated
- computational complexity
- constraint satisfaction problems
- satisfiability problem
- polynomially solvable
- phase transition
- polynomial time complexity
- sliding tile
- database
- np complete problems
- conjunctive queries
- sat problem
- cnf formula
- pspace complete
- bounded treewidth
- constraint satisfaction
- heuristic search
- conp complete
- computationally complex
- expert systems
- information retrieval