Macha Nikolskaïa

Publication Activity (10 Years)

Years Active: 1998-2001
Publications (10 Years): 0

Publications

Macha Nikolskaïa, L. Nikolskaia
Size of OBDD representation of 2-level redundancies functions. Theor. Comput. Sci. 255 (1-2) (2001)
Poul Frederick Williams, Macha Nikolskaïa, Antoine Rauzy
Bypassing BDD construction for reliability analysis. Inf. Process. Lett. 75 (1-2) (2000)
Macha Nikolskaïa, Antoine Rauzy, David James Sherman
Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods. FMCAD (1998)