3 ms·
A polytime algorithm, even an implementation of one, does not alone make a competitive SAT-solver for any of the ongoing SAT-competitions.
by maweki 4y ago
A polytime algorithm, even an implementation of one, does not alone make a competitive SAT-solver for any of the ongoing SAT-competitions.