file.pdf (823.28 kB)
Download fileApplication of Multi-Terminal Binary Decision Diagrams
journal contribution
posted on 01.06.2008, 00:00 authored by Edmund M Clarke, M. Fujita, X. ZhaoFunctions that map boolean vectors into the integers are important for the design and verification of arithmetic circuits.