Detecting Symmetric Variables in Boolean Functions using Generalized Reel-Muller Forms.
Chien-Chung TsaiMalgorzata Marek-SadowskaPublished in: ISCAS (1994)
Keyphrases
- boolean functions
- relevant variables
- uniform distribution
- disjunctive normal form
- randomly generated
- linear functions
- dnf formulae
- threshold functions
- multi valued
- variable selection
- prime implicants
- functional properties
- bi decomposition
- read once formulas
- polynomial size
- linear threshold
- membership queries
- truth table