Improvements of the Construction of Exact Minimal Covers of Boolean Functions.
Bernd SteinbachChristian PosthoffPublished in: EUROCAST (2) (2011)
Keyphrases
- boolean functions
- prime implicants
- uniform distribution
- threshold functions
- relevant variables
- dnf formulae
- membership queries
- multi valued
- linear threshold
- read once formulas
- functional properties
- binary decision diagrams
- rough sets
- polynomial size
- multi class
- disjunctive normal form
- truth table
- decision lists
- decision trees
- desirable properties
- temporal logic
- upper bound