Keyphrases
- satisfiability problem
- higher order
- np complete
- hypergraph model
- propositional logic
- computational complexity
- pairwise
- terminological reasoning
- np hard
- phase transition
- high order
- databases
- satisfiability testing
- quantified boolean formulas
- search algorithm
- database systems
- information systems
- randomly generated
- sat problem
- sat instances
- decision procedures
- sat encodings
- artificial intelligence
- neural network