A Fast SAT Solver Strategy Based on Negated Clauses | IEEE Conference Publication | IEEE Xplore