SAT 2009
Variable Influences in Conjunctive Normal Forms
Abstract
Abstract We provide an upper bound on the total influence of Boolean functions defined by k -cnfs. Our bound is nearly optimal. We achieve it by an extension and appropriate use of an algorithm of Paturi, Pudlák, and Zane. We also discuss applications to prove and compute lower bounds for the maximum clause width k.
Authors
Keywords
No keywords are indexed for this paper.
Context
- Venue
- International Conference on Theory and Applications of Satisfiability Testing
- Archive span
- 2003-2025
- Indexed papers
- 824
- Paper id
- 477673387319058060