11developer11/Spectral-Manifold-Methods-for-SAT-Solving

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

Hacker News discussions

• A 137ms Sparse-Matrix 3-SAT Solver for 10k Variables (2 points, 0 comments, by khalilovshamil3, 2026-09-19)