Keyphrases
- np complete
- conp complete
- np hard
- randomly generated
- satisfiability problem
- constraint satisfaction problems
- conjunctive queries
- pspace complete
- computational complexity
- bounded treewidth
- polynomially solvable
- finite state machines
- data complexity
- finite state automata
- np complete problems
- hybrid automata
- neural network
- finite automata
- sat problem
- constraint satisfaction
- website
- tree automata
- consistency checking
- special case
- database systems
- monotonicity constraints