Hacker News new | ask | show | jobs
by gabrielgoh 3088 days ago
they did experiments on the 2016 Max-SAT challenge, which seems to me like a legitimate class of problem instances.
1 comments

Yes, and this does indeed mean that their results may be of practical importance.

At the same time, it's pretty well known that the kind of problem instances arising in practice and in those challenges are not hard instances. In other words, this also means that their result is extremely unlikely to be relevant for the P=?NP question.