Iterated Robust Tabu Search for MAX-SAT (2003)

by Kevin Smyth, Holger H Hoos, Thomas Stützle
Venue:In Yang Xiang and Brahim Chaib-draa, editors, Canadian Conference on AI, volume 2671 of Lecture Notes in Computer Science