Section 14.2

Reduced OBDDs