mentater·vor 4 Jahren·discussWouldn't that be extremely useful and a polynomial solution for 3-SAT, which is NP complete?