Candidate Boolean Functions towards Super-Quadratic Formula Size.
Kenya UenoPublished in: IEICE Trans. Inf. Syst. (2015)
Keyphrases
- boolean functions
- prime implicants
- polynomial size
- pseudo boolean functions
- linear functions
- uniform distribution
- disjunctive normal form
- conjunctive normal form
- threshold functions
- bounded treewidth
- relevant variables
- dnf formulae
- computational complexity
- membership queries
- binary decision diagrams
- pairwise
- functional properties
- read once formulas
- multi class
- bi decomposition
- linear threshold
- prime implicates
- boolean formula
- truth table
- association rules