Binary decision diagrams and applications for vlsi cad - Minaton, Shin-Ichi (BOSTON KLUWER, 1996)