41. The media of claim 40 , wherein the plurality of computer-readable instructions, when executed, are further operable to cause one or more computing devices to store the plurality of fourth BDDs.
40. The media of claim 35 , wherein the plurality of computer-readable instructions, when executed, are further operable to cause one or more computing devices to partition the BDD into a plurality of fourth BDDs, wherein a sum of sizes of the fourth BDDs is less than a size of the BDD.