Couto, Marcelo, Cid C. de Souza, and Pedro J. de Rezende.
" An Exact Algorithm for an Art Gallery Problem." <em>Anais do XXIV Concurso de Teses e Dissertações,
Natal/RN, 2011</em>. SBC, 2011,  
pp.22-27.