A. Züge and R. Carmo.
" Exact Solution of the Maximum Clique Problem", in <em>Proceedings of the 25th Thesis and Dissertation Contest</em>, Curitiba/PR, 2012, pp. 79-84.