Searching for "Efficient Implementation of a BDD Package." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Who Are the Variables in Your Neighborhood
- … implementation of a BDD package that is quite similar to ours can be found in [3]. The success of BDDs in solving…
- Cited by 64 (3 self) – Add To MetaCart
-
Compositional BDD Construction: A Lazy Algorithm
- … from the symbolic representation level. 2.3 Efficient Method The efficient implementation of a BDD…
- Add To MetaCart
-
Symmetry Detection and Dynamic Variable Ordering of Decision Diagrams
- … symmetry detection algorithm. More details on the efficient implementation of a BDD package that is quite…
- Cited by 51 (2 self) – Add To MetaCart
Showing 1 through 3.
