Conference and workshop papers
Sharon Barner, Daniel Geist, Anna Gringauze. Symbolic localization Reduction with Reconstruction Layering and Backtracking. CAV 2002.Shai Fine and Avi Ziv. Coverage Directed Test Generation for Functional Verification using Bayesian Networks. Proceedings of the 40'th Design Automation Conference (DAC), June 2003.
Ziv Nevo and Monica Farkash. Distributed Dynamic BDD Reordering. DAC 2006 - Design Automation Conference . December 2006.