Reactive Search, a history-base heuristic for MAX-SAT (1997)

by R Battiti, M Protasi
Venue:ACM Journal of Experimental Algorithmics