Recognition of Unit Segment and Polyline Graphs is $\exists \mathbb{R}$-Complete

Michael Hoffmann, Tillmann Miltzow, Simon Weber +1

Given a set of objects $O$ in the plane, the corresponding intersection graph is defined as follows. Each object defines a vertex and an edge joins two vertices whenever the corres…