4 ms·
3-SAT is one of those where it really falls down fast, because you can just ask them for a solution for some arbitrary 3-SAT problem. By their own admission, t
by thrtythreeforty 4y ago
3-SAT is one of those where it really falls down fast, because you can just ask them for a solution for some arbitrary 3-SAT problem. By their own admission, they've found an algorithm!
- maweki 4y agoA polytime algorithm, even an implementation of one, does not alone make a competitive SAT-solver for any of the ongoing SAT-competitions.