The Art Gallery Problem is ∃ℝ-complete

Mikkel Abrahamsen, Anna Adamaszek, Tillmann Miltzow. The Art Gallery Problem is ∃ℝ-complete. Journal of the ACM, 69(1), 2022. [doi]

Abstract

Abstract is missing.