Cumulative Space in Black-White Pebbling and Resolution (Q4638091): Difference between revisions

@@ label / en / label / en @@
+Cumulative Space in Black-White Pebbling and Resolution
@@ Property / cites work @@
+Space Complexity in Propositional Calculus
@@ Property / cites work: Space Complexity in Propositional Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiently Computing Data-Independent Memory-Hard Functions
+Normal rank
@@ Property / cites work @@
+High Parallel Complexity Graphs and Memory-Hard Functions
+Normal rank
@@ Property / cites work @@
+Depth-Robust Graphs and Their Cumulative Memory Complexity
+Normal rank
@@ Property / cites work @@
+Time-Space Trade-offs in Resolution: Superpolynomial Lower Bounds for Superlinear Space
+Normal rank
@@ Property / cites work @@
+Some trade-off results for polynomial calculus
@@ Property / cites work: Some trade-off results for polynomial calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Space complexity of random formulae in resolution
@@ Property / cites work: Space complexity of random formulae in resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Short proofs are narrow—resolution made simple
@@ Property / cites work: Short proofs are narrow—resolution made simple / rank @@
+Normal rank
@@ Property / cites work @@
+Total Space in Resolution Is at Least Width Squared
+Normal rank
@@ Property / cites work @@
+A Framework for Space Complexity in Algebraic Proof Systems
+Normal rank
@@ Property / cites work @@
+Total Space in Resolution
@@ Property / cites work: Total Space in Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems
+Normal rank
@@ Property / cites work @@
+Q5497120
@@ Property / cites work: Q5497120 / rank @@
+Normal rank
@@ Property / cites work @@
+Many hard examples for resolution
@@ Property / cites work: Many hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Storage requirements for deterministic polynomial time recognizable languages
+Normal rank
@@ Property / cites work @@
+Pebbling and Proofs of Work
@@ Property / cites work: Pebbling and Proofs of Work / rank @@
+Normal rank
@@ Property / cites work @@
+Speedups of deterministic machines by synchronous parallel machines
+Normal rank
@@ Property / cites work @@
+On sparse graphs with dense long paths
@@ Property / cites work: On sparse graphs with dense long paths / rank @@
+Normal rank
@@ Property / cites work @@
+Space bounds for resolution
@@ Property / cites work: Space bounds for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds
+Normal rank
@@ Property / cites work @@
+Space Complexity in Polynomial Calculus
@@ Property / cites work: Space Complexity in Polynomial Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4601841
@@ Property / cites work: Q4601841 / rank @@
+Normal rank
@@ Property / cites work @@
+Communication lower bounds via critical block sensitivity
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+On Time Versus Space
@@ Property / cites work: On Time Versus Space / rank @@
+Normal rank
@@ Property / cites work @@
+On the virtue of succinct proofs
@@ Property / cites work: On the virtue of succinct proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Asymptotically tight bounds on time-space trade-offs in a pebble game
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Narrow Proofs May Be Spacious:Separating Space and Width in Resolution
+Normal rank
@@ Property / cites work @@
+On the Relative Strength of Pebbling and Resolution
+Normal rank
@@ Property / cites work @@
+Pebble Games, Proof Complexity, and Time-Space Trade-offs
+Normal rank
@@ Property / cites work @@
+Q3191584
@@ Property / cites work: Q3191584 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4185781
@@ Property / cites work: Q4185781 / rank @@
+Normal rank
@@ Property / cites work @@
+On alternation. II. A graph theoretic approach to determinism versus nondeterminism
+Normal rank
@@ Property / cites work @@
+Separation of the monotone NC hierarchy
@@ Property / cites work: Separation of the monotone NC hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4344138
@@ Property / cites work: Q4344138 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Register Allocation Problems
@@ Property / cites work: Complete Register Allocation Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Space-time trade-offs on the FFT algorithm
@@ Property / cites work: Space-time trade-offs on the FFT algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164821
@@ Property / cites work: Q4164821 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.4230/LIPIcs.ITCS.2017.38
+Normal rank
@@ Property / OpenAlex ID @@
+W2773116874
@@ Property / OpenAlex ID: W2773116874 / rank @@
+Normal rank
@@ Property / title @@
+Cumulative Space in Black-White Pebbling and Resolution (English)
+Normal rank