3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Marcus Schaefer, Jean Cardinal, Tillmann Miltzow
We survey the complexity class ∃R, which captures the complexity of deciding the existential theory of the reals. The class ∃R has roots in two…