Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook