Three-valued automated reasoning on analog properties.

Raffaella Gentilini Klaus Schneider Alexander Dreyer

Published in: ACM Great Lakes Symposium on VLSI (2007)

Keyphrases

automated reasoning
knowledge representation
reasoning systems
reasoning tasks
decision procedures
theorem proving
probabilistic reasoning
theorem prover
knowledge representation and reasoning
inference rules
automated verification
data mining
logical implication
neural network
desirable properties