Anderaa, Stal O.; Börger, Egon The equivalence of Horn and network complexity for Boolean functions. (English) Zbl 0477.94034 Acta Inf. 15, 303-307 (1981). MSC: 94C10 03B05 68Q25 PDFBibTeX XMLCite \textit{S. O. Anderaa} and \textit{E. Börger}, Acta Inf. 15, 303--307 (1981; Zbl 0477.94034) Full Text: DOI
Aanderaa, Stål O.; Börger, Egon The Horn complexity of Boolean functions and Cook’s problem. (English) Zbl 0429.03022 Proc. 5th Scand. Logic Symp., Aalborg 1979, 231-256 (1979). MSC: 03D15 94C10 03G05 PDFBibTeX XML