Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook - Svetlana N. Yanushkevich; D. Michael Miller; Radomir S. Stankovic; Vlad P. Shmerko (Taylor and Francis, 2005)