Completeness for the complexity class \(\forall \exists \mathbb{R}\) and area-universality (Q6156090): Difference between revisions

@@ Property / cites work @@
+The art gallery problem is ∃ ℝ-complete
@@ Property / cites work: The art gallery problem is ∃ ℝ-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizing Weak Embeddings of Graphs
@@ Property / cites work: Recognizing Weak Embeddings of Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms in real algebraic geometry
@@ Property / cites work: Algorithms in real algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability of graphs in three dimensions
@@ Property / cites work: Realizability of graphs in three dimensions / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability of graphs
@@ Property / cites work: Realizability of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Drawing planar 3-trees with given face areas
@@ Property / cites work: Drawing planar 3-trees with given face areas / rank @@
+Normal rank
@@ Property / cites work @@
+COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
@@ Property / cites work: COMPLEXITY AND REAL COMPUTATION: A MANIFESTO / rank @@
+Normal rank
@@ Property / cites work @@
+Geometric Simultaneous Embeddings of a Graph and a Matching
+Normal rank
@@ Property / cites work @@
+Intersection graphs of rays and grounded segments
@@ Property / cites work: Intersection graphs of rays and grounded segments / rank @@
+Normal rank
@@ Property / cites work @@
+Straightening polygonal arcs and convexifying polygonal cycles
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of computing a Nash equilibrium
@@ Property / cites work: The complexity of computing a Nash equilibrium / rank @@
+Normal rank
@@ Property / cites work @@
+Real quantifier elimination is doubly exponential
@@ Property / cites work: Real quantifier elimination is doubly exponential / rank @@
+Normal rank
@@ Property / cites work @@
+\(\forall\exists\mathbb {R}\)-completeness and area-universality
+Normal rank
@@ Property / cites work @@
+Coloring face hypergraphs on surfaces
@@ Property / cites work: Coloring face hypergraphs on surfaces / rank @@
+Normal rank
@@ Property / cites work @@
+Area-Universal and Constrained Rectangular Layouts
+Normal rank
@@ Property / cites work @@
+Smoothing the Gap Between NP and ER
@@ Property / cites work: Smoothing the Gap Between NP and ER / rank @@
+Normal rank
@@ Property / cites work @@
+Table cartogram
@@ Property / cites work: Table cartogram / rank @@
+Normal rank
@@ Property / cites work @@
+On Area-Universal Quadrangulations
@@ Property / cites work: On Area-Universal Quadrangulations / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting Air-Pressure to Map Floorplans on Point Sets
+Normal rank
@@ Property / cites work @@
+Sphere and dot product representations of graphs
@@ Property / cites work: Sphere and dot product representations of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Drawing Planar Graphs with Prescribed Face Areas
@@ Property / cites work: Drawing Planar Graphs with Prescribed Face Areas / rank @@
+Normal rank
@@ Property / cites work @@
+Drawing planar graphs with prescribed face areas
@@ Property / cites work: Drawing planar graphs with prescribed face areas / rank @@
+Normal rank
@@ Property / cites work @@
+On the area-universality of triangulations
@@ Property / cites work: On the area-universality of triangulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4071737
@@ Property / cites work: Q4071737 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of drawing a graph in a polygonal region
+Normal rank
@@ Property / cites work @@
+Integer realizations of disk and segment graphs
@@ Property / cites work: Integer realizations of disk and segment graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819622
@@ Property / cites work: Q3819622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2726740
@@ Property / cites work: Q2726740 / rank @@
+Normal rank
@@ Property / cites work @@
+Mnëv's universality theorem revisited
@@ Property / cites work: Mnëv's universality theorem revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Realization spaces of 4-polytopes are universal
@@ Property / cites work: Realization spaces of 4-polytopes are universal / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750874
@@ Property / cites work: Q5750874 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. XX: Wagner's conjecture
@@ Property / cites work: Graph minors. XX: Wagner's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Some Geometric and Topological Problems
+Normal rank
@@ Property / cites work @@
+Realizability of Graphs and Linkages
@@ Property / cites work: Realizability of Graphs and Linkages / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed points, Nash equilibria, and the existential theory of the reals
+Normal rank
@@ Property / cites work @@
+Plane Cubic Graphs with Prescribed Face Areas
@@ Property / cites work: Plane Cubic Graphs with Prescribed Face Areas / rank @@
+Normal rank
@@ Property / cites work @@
+Floorplans, planar graphs, and layouts
@@ Property / cites work: Floorplans, planar graphs, and layouts / rank @@
+Normal rank