COUTO, Marcelo C.; SOUZA, Cid C. de; REZENDE, Pedro J. de. An Exact Algorithm for an Art Gallery Problem. In: CONCURSO DE TESES E DISSERTAÇÕES (CTD), 24. , 2011, Natal/RN. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2011 . p. 22-27. ISSN 2763-8820.