Don't Care Minimization of BMDs: Complexity and Algorithms

Christoph Scholl, Marc Herbstritt, Bernd Becker. Don't Care Minimization of BMDs: Complexity and Algorithms. In Dieter Monjau, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Mei├čen, Germany, February 19-21, 2001. pages 45-57, MoPress, 2001.

Abstract

Abstract is missing.