Conference and workshop papers
M. L. Case, V. N. Kravets, A. Mishchenko and R. K. Brayton. Merging nodes under sequential observability (In process). 45th ACM/IEEE Design Automation Conference. June 2008.Ziv Nevo and Monica Farkash. Distributed Dynamic BDD Reordering. DAC 2006 - Design Automation Conference . December 2006.