Mark Heap
-
Average and Worst Case Number of Nodes in Decision Diagrams of Symmetric Multiple-Valued Functions
IEEE Transactions on Computers
Least Upper Bounds for the Size of OBDDs Using Symmetry Properties