Linear cofactor relationships in Boolean functions.
Jin S. ZhangMalgorzata Chrzanowska-JeskeAlan MishchenkoJerry R. BurchPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2006)
Keyphrases
- boolean functions
- functional properties
- linear functions
- uniform distribution
- prime implicants
- threshold functions
- relevant variables
- membership queries
- multi valued
- linear threshold
- bi decomposition
- polynomial size
- linear constraints
- pac learning
- heuristic search
- desirable properties
- disjunctive normal form
- read once formulas