The Art Gallery Problem is ∃ℝ-completeMikkel Abrahamsen, Tillmann Miltzow|Journal of the ACM|2021Cited by 30