Hard Neighboring Variables Based Configuration Checking in Stochastic Local Search for Weighted Partial Maximum Satisfiability | IEEE Conference Publication | IEEE Xplore