ynnk-research/Landscape-Geometry-and-Algebraic-Obstructions-in-Phase-Space-Gradient-Descent-for-Random-3-SAT

PhaseRelax—a continuous-variable relaxation for random 3-SAT using heavy-ball momentum on the $N$-torus—not a competitive solver, but a mechanistic probe into the geometry of the continuous relaxation landscape at the phase transition ($\alpha = 4.27$).

1 best points · 1 comments · 1 Hacker News post · 5 GitHub stars · View on GitHub

Hacker News discussions

• Why continuous gradient descent gets stuck on 3-SAT (1 points, 1 comments, by ynnk, 2026-04-11)