Abstract | ||
---|---|---|
. Over the last decade significant progress has been made in the efficient implementation of algorithms for the manipulation
of decision diagrams. We review the main issues involved in designing a decision diagram package, with special emphasis on
the basic data structures and their management, on fast variable reordering, and on the collection of statistics to guide
the tuning of the algorithms. Our analysis focuses on depth-first manipulation of reduced, ordered binary decision diagrams. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1007/s100090100042 | STTT |
Keywords | Field | DocType |
variable reordering,strong canoni- cal form,binary decision diagrams,data structure,decision diagram,binary decision diagram | Decision tree,Data mining,Data structure,Computer science,Binary decision diagram,Theoretical computer science,Influence diagram | Journal |
Volume | Issue | Citations |
3 | 2 | 20 |
PageRank | References | Authors |
1.09 | 19 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fabio Somenzi | 1 | 3394 | 302.47 |