Alexandre Züge and Renato Carmo. 2012.
 Exact Solution of the Maximum Clique Problem. In <em>Proceedings of the 25th Thesis and Dissertation Contest</em>, July 16, 2012, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 79-84.