The Potential and Limitation of Probability-Based Combinational Equivalence Checking.

Shih-Chieh Wu Chun-Yao Wang Jan-an Hsieh

Published in: ATS (2006)

Keyphrases

database
computational complexity
multiresolution
probability distribution
consistency checking
neural network
data mining
artificial intelligence
information systems
digital libraries
confidence level