C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Robust Boolean reasoning for equivalence checking and functional property verification.
Andreas Kuehlmann
Viresh Paruthi
Florian Krohm
Malay K. Ganai
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2002)
Keyphrases
</>
verification method
consistency checking
real valued
computer vision
computationally efficient
database
artificial intelligence
probabilistic reasoning
reasoning process
functional verification