The art gallery problem is ∃ ℝ-complete.

Mikkel Abrahamsen, Anna Adamaszek, Tillmann Miltzow

Browse the full STOC paper archive.