The Art Gallery Problem is ∃ℝ-complete (Q5066941)
From MaRDI portal
scientific article; zbMATH DE number 7500710
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Art Gallery Problem is ∃ℝ-complete |
scientific article; zbMATH DE number 7500710 |
Statements
The Art Gallery Problem is ∃ℝ-complete (English)
0 references
31 March 2022
0 references
art gallery problem
0 references
existential theory of the reals
0 references
