TY - RPRT TI - The Art Gallery Problem is $\exists \mathbb{R}$-complete AU - Mikkel Abrahamsen AU - Anna Adamaszek AU - Tillmann Miltzow PY - 2018 UR - https://arxiv.org/abs/1704.06969 ID - 1704.06969 ER -