3 ms·
`Sound' does not mean `complete'. Don't forget that no false positive or negative isn't all, the solver might just give up.
by lapinot 8y ago
`Sound' does not mean `complete'. Don't forget that no false positive or negative isn't all, the solver might just give up.