Approximative representation of boolean functions by size controllable ROBDD's - Hinsberger, Uwe; Kolla, Reiner; Kunjan, Thomas (Inst. für Informatik, 1997)