Recombining Scheder's regular and irregular PPSZ estimates via an LP dual certificate improves the Unique-3-SAT base to 1.306969598^n and the general 3-SAT base to 1.307031578^n.
Title resolution pending
1 Pith paper cite this work, alongside 3 external citations. Polarity classification is still indexing.
1
Pith paper citing it
3
external citations · OpenAlex
fields
cs.DS 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
A Better Analysis For PPSZ For 3-SAT
Recombining Scheder's regular and irregular PPSZ estimates via an LP dual certificate improves the Unique-3-SAT base to 1.306969598^n and the general 3-SAT base to 1.307031578^n.