Decision Diagram Techniques for Micro- And Nanoelectronic Design Handbook door D. Michael Miller, Radomir Stankovic & Radomir S. Stankovic