A Heuristic Restart Strategy to Speed Up the Solving of Satisfiability Problem | IEEE Conference Publication | IEEE Xplore