Publication | Closed Access

Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation