Keyphrases
- decision procedures
- satisfiability problem
- np complete
- presburger arithmetic
- computational complexity
- data sets
- theorem proving
- theorem prover
- terminological reasoning
- automated theorem proving
- linear logic
- propositional logic
- phase transition
- modal logic
- neural network
- sat problem
- relational databases
- quantifier elimination
- information systems