Keyphrases
- np complete
- np hard
- satisfiability problem
- computational complexity
- randomly generated
- polynomial time complexity
- pspace complete
- constraint satisfaction problems
- conjunctive queries
- automated deduction
- provably correct
- phase transition
- data complexity
- sat problem
- np complete problems
- polynomially solvable
- neural network
- computer algebra
- conp complete