On the gap between \(\mathit{ess}(f)\) and \(\mathit{cnf}_{-}\mathit{size}(f)\)

DOI10.1016/j.dam.2012.07.004zbMath1260.06018OpenAlexW1554694446MaRDI QIDQ1759859

Lisa Hellerstein, Devorah Kletenik

Publication date: 22 November 2012

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.dam.2012.07.004

zbMATH Keywords

Horn functionCNFformula sizeDNF

Mathematics Subject Classification ID

Boolean functions (06E30)