BDDs

• Sibling-substitution-based BDD minimization using don't cares, Y. Hong, P. A. Beerel, J.R. Burch and K.L. McMillan, IEEE Transaction on CAD, Vol: 19 Issue: 1, Jan. 2000.
• Sibling-Substitution Based BDD Minimization Using Don't Cares, Y. Hong, P. A. Beerel, J. Burch, and K. McMillan. Accepted for publication in IEEE Transaction on CAD, Sept. 1999
• Don't care-based BDD Minimization For Embedded Soft ware Y. Hong, P. A. Beerel, L. Lavagno, and E. M. Sentovich. Proc. 35th Design Automation Conf., June 1998.
• Improving the Quality of Safe BDD Minimization Using Don't Cares Y. Hong and P. A. Beerel, USC CENG 97-14, October 1997.
• Safe BDD Minimization Using Don't Cares, Y. Hong, P. A. Beerel, J. Burch, and K. McMillan. Proc. 34th Design Automation Conf., June 1997.