Using symbolic techniques to find the maximum clique in very large sparse graphs.

Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda

Browse the full DATE paper archive.