Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- decision procedures
- theorem prover
- theorem proving
- probabilistic reasoning
- automated verification
- reasoning tasks
- general purpose
- prime implicants
- propositional satisfiability
- knowledge representation and reasoning
- logical implication
- neural network
- knowledge base