SAT formulas with (λ,p)_k-structures admit sub-exponential Gap-SAT algorithms whose speedup is controlled by the spread parameter λ, via hypergraph containers.
An efficient container lemma.Discrete Analysis, 2020:Paper No
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.CO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A Hypergraph Container Method on Spread SAT: Approximation and Speedup
SAT formulas with (λ,p)_k-structures admit sub-exponential Gap-SAT algorithms whose speedup is controlled by the spread parameter λ, via hypergraph containers.