Decision diagram techniques for micro- and nanoelectronic design handbook - Yanushkevich, Svetlana N. (Boca Raton : CRC/Taylor & Francis, 2006)