Publication

TABARIS: an exact algorithm based on Tabu search for finding a maximum independent set in a graph