Application of Multi-Terminal Binary Decision Diagrams

Functions that map boolean vectors into the integers are important for the design and verification of arithmetic circuits.