Reactive Search, a history-based heuristic for MAX-SAT (1996)

by R Battiti, M Protasi
Venue:In Proceedings of the Workshop on Satifiability Problem