Memory Optimization in Function and Set Manipulation with BDDs.

Gianpiero Cabodi Stefano Quer Paolo Camurati Memory Optimization in Function and Set Manipulation with BDDs. 99-120 1998 28 Softw., Pract. Exper. 1 db/journals/spe/spe28.html#CabodiQC98