Sign in

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

Jochen BernChristoph MeinelAnna 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