Marcelo Couto, Cid Souza, and Pedro Rezende. 2011. An Exact Algorithm for an Art Gallery Problem. In Anais do XXIV Concurso de Teses e Dissertações, julho 19, 2011, Natal/RN, Brasil. SBC, Porto Alegre, Brasil, 22-27.