Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Found 1 results

Filters: Keyword is evaluation machine [Clear All Filters]

2000

Y. - L. Wu, Fan, H., Marek-Sadowska, M., and Wong, C. K., “OBDD minimization based on two-level representation of Boolean functions”, Computers, IEEE Transactions on, vol. 49, pp. 1371 -1379, 2000.