Couto, Marcelo, Souza, Cid, E Rezende, Pedro. " An Exact Algorithm for an Art Gallery Problem" Anais do Concurso de Teses e Dissertações da SBC (CTD-SBC) [Online], (19 julho 2011)