VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and ...