Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram

From MaRDI portal
(Redirected from Publication:893916)