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.