On the enumeration of Boolean functions with distinguished variables.
Josep FreixasPublished in: Soft Comput. (2021)
Keyphrases
- boolean functions
- relevant variables
- disjunctive normal form
- uniform distribution
- randomly generated
- threshold functions
- prime implicants
- linear functions
- membership queries
- dnf formulae
- linear threshold
- boolean formula
- multi valued
- search space
- functional properties
- truth table
- bounded treewidth
- read once formulas
- polynomial size
- variable selection