Keyword : unateness

Complexity of Boolean Functions Satisfying the Propagation Criterion
Shouichi HIROSE Katsuo IKEDA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/04/25
Vol. E78-A  No. 4 ; pp. 470-478
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Boolean functionpropagation criterionunatenessinversion complexityformula sizeVLSI complexityOBDD size
 Summary | Full Text:PDF