Latch Inference for Equivalence Checking.

Published in: ReCoSoC (2007)

Keyphrases

power consumption
consistency checking
bayesian networks
probabilistic inference
inference process
high density
low power
belief networks
inference mechanism
structured prediction
random fields
real time
high speed
database systems
information systems
machine learning
databases