An exact algorithm for the maximum clique problem