Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Efficient implementation of a BDD package
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Edge-valued binary decision diagrams for multi-level hierarchical verification
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Spectral transforms for large boolean functions with applications to technology mapping
DAC '93 Proceedings of the 30th international Design Automation Conference
Algebraic decision diagrams and their applications
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
FGILP: an integer linear program solver based on function graphs
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Fast Transforms: Algorithms, Analyses, Applications
Fast Transforms: Algorithms, Analyses, Applications
Formal Verification Using Edge-Valued Binary Decision Diagrams
IEEE Transactions on Computers
Verification of Arithmetic Functions with Binary Moment Diagrams
Verification of Arithmetic Functions with Binary Moment Diagrams
Minimization of word-level decision diagrams
Integration, the VLSI Journal
On the Representation of Probabilities over Structured Domains
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
K*BMDs: A New Data Structure for Verification
EDTC '96 Proceedings of the 1996 European conference on Design and Test
AND/OR multi-valued decision diagrams (AOMDDs) for graphical models
Journal of Artificial Intelligence Research
Symbolic Reasoning with Weighted and Normalized Decision Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive cost configuration over decision diagrams
Journal of Artificial Intelligence Research
Semiring labelled decision diagrams, revisited: canonicity and spatial efficiency issues
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
Factored Edge-Valued Binary Decision Diagrams form an extension toEdge-Valued Binary Decision Diagrams. By associating both an additiveand a multiplicative weight with the edges, FEVBDDs can be used torepresent a wider range of functions concisely. As a result, thecomputational complexity for certain operations can be significantlyreduced compared to EVBDDs. Additionally, the introduction ofmultiplicative edge weights allows us to directly represent theso-called complement edges which are used in OBDDs, thus providing aone to one mapping of all OBDDs to FEVBDDs. Applications such asinteger linear programming and logic verification that have beenproposed for EVBDDs also benefit from the extension. We also presenta complete matrix package based on FEVBDDs and apply the package tothe problem of solving the Chapman-Kolmogorov equations.