Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits.

Jochen Bern Christoph Meinel Anna Slobodová

Published in: DAC (1995)

Keyphrases

boolean functions
computationally efficient
neural network
genetic algorithm
search algorithm
special case
model checking
real valued
uniform distribution
computer aided design
multi valued