Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT | IEEE Conference Publication | IEEE Xplore