Couto, M., Souza, C., & Rezende, P. 2011 Jul 19. An Exact Algorithm for an Art Gallery Problem. Proceedings of the Thesis and Dissertation Contest (CTD). [Online] :