Arrow Research search
Back to SAT

SAT 2009

Variable Influences in Conjunctive Normal Forms

Conference Paper Structures for SAT Logic in Computer Science · Satisfiability

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
v2026.09.13