On the Planar Monotone Computation of Boolean Functions.
Meurig BeynonJohn BucklePublished in: Theor. Comput. Sci. (1987)
Keyphrases
- boolean functions
- uniform distribution
- threshold functions
- prime implicants
- dnf formulae
- functional properties
- linear threshold
- disjunctive normal form
- membership queries
- relevant variables
- binary decision diagrams
- read once formulas
- linear functions
- upper bound
- bi decomposition
- multi valued
- pseudo boolean functions