Marcelo C. Couto, Pedro Jussieu de Rezende, Cid C. de Souza. An IP solution to the art gallery problem. In John Hershberger, Efi Fogel, editors, Proceedings of the 25th ACM Symposium on Computational Geometry, Aarhus, Denmark, June 8-10, 2009. pages 88-89, ACM, 2009. [doi]
Abstract is missing.