Efficient Algorithmic Circuit Verification Using Indexed BDDs.

James R. Bitner Jawahar Jain Magdy S. Abadir Jacob A. Abraham Donald S. Fussell

Published in: FTCS (1994)

Keyphrases

data sets
neural network
data mining
search algorithm
low cost
computationally efficient
cost effective