Keyphrases
- np complete
- conp complete
- np hard
- randomly generated
- constraint satisfaction problems
- satisfiability problem
- conjunctive queries
- computational complexity
- polynomial time complexity
- pspace complete
- phase transition
- decision problems
- np complete problems
- data exchange
- constraint satisfaction
- consistency checking
- finite automata
- state space
- finite state automata
- database systems
- database