Iterated Robust Tabu Search for MAX-SAT.

Kevin Smyth, Holger H. Hoos, Thomas Sttzle

Browse the full AI paper archive.