The VLSI complexity of Boolean functions.
Mark R. KramerJan van LeeuwenPublished in: Logic and Machines (1983)
Keyphrases
- boolean functions
- uniform distribution
- polynomial size
- threshold functions
- prime implicants
- bi decomposition
- functional properties
- membership queries
- relevant variables
- worst case
- logic synthesis
- multi valued
- read once formulas
- pseudo boolean functions
- linear threshold
- bounded treewidth
- binary decision diagrams
- lower bound
- truth table