281 search results - page 57 / 57 » The Proof Complexity of Linear Algebra |
JUCS
2010
13 years 3 months ago
2010
Abstract: This paper discusses three rectilinear (that is, axis-parallel) covering problems in d dimensions and their variants. The first problem is the Rectilinear Line Cover whe...