A 2^O(n) Time Algorithm for 3-SAT
By nryoo · 2026-10-27 · 4 points · 2 comments
https://github.com/anthropics/formal-math/tree/16a5ce41304fcdaea4e0be7c132e1c361dc26da5/eth
By nryoo · 4 points · 2 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews