Improving Local Search for Satisfiability Problem by Integrating Structural Properties | IEEE Conference Publication | IEEE Xplore