Keyphrases
- np complete
- np hard
- pspace complete
- randomly generated
- satisfiability problem
- computational complexity
- constraint satisfaction problems
- information systems
- computer algebra
- neural network
- conjunctive queries
- automated deduction
- polynomially solvable
- conp complete
- polynomial time complexity
- phase transition
- upper bound
- bounded treewidth
- np complete problems
- proof procedure
- algebraic structure
- provably correct