5 ms·Anybody can solve a SAT problem, the issue is how easily they can do it.by GFK_of_xmaspast 11y agoAnybody can solve a SAT problem, the issue is how easily they can do it.