Size-energy tradeoffs for unate circuits computing symmetric Boolean functions.
Kei UchizawaEiji TakimotoTakao NishizekiPublished in: Theor. Comput. Sci. (2011)
Keyphrases
- boolean functions
- polynomial size
- uniform distribution
- truth table
- relevant variables
- threshold functions
- prime implicants
- functional properties
- bi decomposition
- high speed
- dnf formulae
- linear functions
- binary decision diagrams
- membership queries
- disjunctive normal form
- dnf formulas
- bounded treewidth
- upper bound
- pseudo boolean functions