pith. sign in

The Satisfiability Threshold of Random 3-SAT Is at Least 3.52

3 Pith papers cite this work. Polarity classification is still indexing.

3 Pith papers citing it
abstract

We prove that a random 3-SAT instance with clause-to-variable density less than 3.52 is satisfiable with high probability. The proof comes through an algorithm which selects (and sets) a variable depending on its degree and that of its complement.

years

2026 2 2019 1

verdicts

UNVERDICTED 3

representative citing papers

Optimal Phylogenetic Reconstruction from Sampled Quartets

cs.DS · 2026-04-19 · unverdicted · novelty 7.0

An efficient algorithm recovers phylogenetic trees from Θ(n) noisy quartets under random classification noise, matching the information-theoretic lower bound and achieving near-optimal quartet distance.

citing papers explorer

Showing 3 of 3 citing papers.