Parallel sifting algorithm
A binary decision diagram (BDD) representing a function having n variables is accessed and the n variables of the BDD are reordered by iteratively moving k variables of the n variables to their locally optimum layers, until a size of the BDD has reached a desired threshold, wherein each iteration co...
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Patent |
Sprache: | eng ; fre ; ger |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Schreiben Sie den ersten Kommentar!