Approximate evaluations of characteristic polynomials of Boolean functions.
David LeeHenryk WozniakowskiPublished in: Theor. Comput. Sci. (2001)
Keyphrases
- boolean functions
- uniform distribution
- prime implicants
- linear functions
- dnf formulae
- membership queries
- threshold functions
- functional properties
- relevant variables
- polynomial size
- truth table
- multi valued
- bi decomposition
- read once formulas
- linear threshold
- pseudo boolean functions
- search algorithm
- relational databases