Sciweavers

37 search results - page 1 / 8
» tc 1998
Sort
View
92
Voted
TC
1998
15 years 22 days ago
Solving Boolean Equations Using ROSOP Forms
Yuke Wang, Carl McCrosky
90
Voted
TC
1998
15 years 22 days ago
Exact Minimization of Binary Decision Diagrams Using Implicit Techniques
Arlindo L. Oliveira, Luca P. Carloni, Tiziano Vill...