Relation between OFDDs and FPRMs

Ordered functional decision diagrams (OFDDs) are often used as a data structure for representing fixed polarity Reed-Muller expressions (FPRMs). The authors show that OFDDs are never much larger in size than FPRMs. In contrast there exists Boolean functions for which FPRMS always have exponential size, while the OFDD representation remains small. In this sense the authors show that OFDDs are a good data structure for FPRM representation