search
Tag - Existential Theory of the Reals
Is Area-Universality UETR-complete?
Wed, Nov 15, 2017 12:00 CET
The Art Gallery Problem is $\exists \mathbb{R}$-complete
Wed, May 17, 2017 12:30 CEST
Recognizing visibility graphs of polygons with holes is hard for the existential theory of the reals
Wed, Nov 9, 2016 12:30 CET