Publications
, “OBDD minimization based on two-level representation of Boolean functions”, Computers, IEEE Transactions on, vol. 49, pp. 1371 -1379, 2000.
University of California, Santa Barbara
Electrical and Computer Engineering, Harold Frank Hall, University of California, Santa Barbara, CA - 93106.