Keyphrases
- automated reasoning
- reasoning systems
- theorem prover
- reasoning tasks
- knowledge representation
- theorem proving
- probabilistic reasoning
- decision procedures
- knowledge representation and reasoning
- automated verification
- computer science
- memory requirements
- propositional satisfiability
- prime implicants
- reinforcement learning
- carnegie mellon university