3 ms·Nor do we have any proof of a lower bound > O( N ) for 3-SAT.by tgflynn 11y agoNor do we have any proof of a lower bound > O( N ) for 3-SAT.