A Practical Approach to Cycle Bound Estimation for Property Checking.

Chia-Chih Yen Kuang-Chien Chen Jing-Yang Jou

Published in: IWLS (2002)

Keyphrases

estimation error
worst case
upper bound
data sets
estimation algorithm
estimation accuracy
database
real time
neural network
genetic algorithm
artificial intelligence
data structure
lower bound
robust estimation