Application of Multi-Terminal Binary Decision Diagrams

2018-06-30T06:01:31Z (GMT) by Edmund M Clarke M. Fujita X. Zhao
Functions that map boolean vectors into the integers are important for the design and verification of arithmetic circuits.