News for hackers. Stuff that matters.
Re:Ask HN: What problem in your industry is a potential star... by jedmeyers on Monday June 29, 2015 @12:43PM (#9799206)
How to solve SAT in exponential time?
Re:Ask HN: What problem in your industry is a potential star... by ngneer on Monday June 29, 2015 @02:36PM (#9799994)
By solving 2-SAT in exponential time and generalizing :)