Minimization of binary decision diagrams for systems of incompletely defined Boolean functions

From MaRDI portal