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