Using symbolic techniques to find the maximum clique in very large sparse graphs | IEEE Conference Publication | IEEE Xplore