Keyphrases
- np complete
- randomly generated
- np hard
- pspace complete
- bounded treewidth
- computational complexity
- constraint satisfaction problems
- conjunctive queries
- polynomially solvable
- np complete problems
- data complexity
- satisfiability problem
- polynomial time complexity
- sat problem
- real time
- phase transition
- model checking
- data sources
- similarity measure
- cnf formula
- artificial intelligence
- data mining
- databases
- data sets