A fast exact algorithm for finding a maximum clique in an undirected graph