Görschwin Fey Rolf Drechsler Minimizing the number of paths in BDDs: Theory and algorithm. 4-11 2006 25 IEEE Trans. on CAD of Integrated Circuits and Systems 1 http://dx.doi.org/10.1109/TCAD.2005.852662 db/journals/tcad/tcad25.html#FeyD06