Variable Neighbourhood Search for Maximum Weight Satisfiability Problem