Publications
Found 1 results
Filters: Keyword is OBDD minimization and Author is Malgorzata Marek-Sadowska [Clear All Filters]
“OBDD minimization based on two-level representation of Boolean functions”, Computers, IEEE Transactions on, vol. 49, pp. 1371 -1379, 2000.
,