ATPG-based preimage computation: efficient search space pruning with ZBDD.

Kameshwar Chandrasekar Michael S. Hsiao

Published in: HLDVT (2003)

Keyphrases

efficient search
search space
search problems
dual space
similarity search
previously computed
pruning method
neural network
search algorithm
high dimensional
domain specific
orders of magnitude
vector space
branch and bound