Automated Reasoning with Power Maps.

G. I. Moghaddam Ranganathan Padmanabhan Yang Zhang

Published in: J. Autom. Reason. (2020)

Keyphrases

automated reasoning
reasoning systems
theorem proving
knowledge representation
theorem prover
decision procedures
probabilistic reasoning
power consumption
reasoning tasks
automated verification
knowledge representation and reasoning
high level
bayesian networks
relational databases
special case
prime implicants