Adaptive memory-based local search for MAX-SAT