Login / Signup
A Short Survey of Automated Reasoning.
John Harrison
Published in:
AB (2007)
Keyphrases
</>
automated reasoning
reasoning systems
knowledge representation
theorem prover
theorem proving
decision procedures
reasoning tasks
probabilistic reasoning
knowledge representation and reasoning
automated verification
propositional satisfiability
high level
pairwise
dynamic programming
graphical models