Keyphrases
- np complete
- randomly generated
- np hard
- pspace complete
- constraint satisfaction problems
- conjunctive queries
- satisfiability problem
- computational complexity
- polynomial time complexity
- phase transition
- special case
- bounded treewidth
- conp complete
- logic programs
- sat problem
- expert systems
- np complete problems
- information retrieval