Dynamic Polarity Adjustment in a Parallel SAT Solver | IEEE Conference Publication | IEEE Xplore