Züge, Alexandre, AND Carmo, Renato. " Exact Solution of the Maximum Clique Problem" Proceedings of the Thesis and Dissertation Contest (CTD) [Online], (16 July 2012)