Hacker News new | ask | show | jobs
by js8 229 days ago
I agree they can be answered, but easily - no. The Grobner basis algorithm has been known for longer than NP problems, so it's not obvious why it wasn't used to solve SAT problems.