Local Search Based on Conflict Analysis for the Satisfiability Problem | IEEE Conference Publication | IEEE Xplore