Algebric Decision Diagrams and Their Applications

• 1 January 1997
• journal article
• Published by Springer Nature in Formal Methods in System Design
• Vol. 10  (2/3) , 171-206
• https://doi.org/10.1023/a:1008699807402

Abstract

Keywords

• DECISION DIAGRAMS
• GRAPH ALGORITHMS
• LINEAR ALGEBRA