Login / Signup
Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions.
Rajeev K. Ranjan
Wilsin Gosti
Robert K. Brayton
Alberto L. Sangiovanni-Vincentelli
Published in:
ICCD (1997)
Keyphrases
</>
neural network
search algorithm
lessons learned
data sets
optimal solution
practical solutions
real time
information retrieval
data structure
association rules
open source
search tree
memory efficient
open issues