Q4993273 (Q4993273): Difference between revisions

@@ Property / cites work @@
+Hardness amplification in proof complexity
@@ Property / cites work: Hardness amplification in proof complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Near optimal seperation of tree-like and general resolution
+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 @@
+On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems
+Normal rank
@@ Property / cites work @@
+Q3002766
@@ Property / cites work: Q3002766 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of cutting-plane proofs
@@ Property / cites work: On the complexity of cutting-plane proofs / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic Versus Syntactic Cutting Planes
@@ Property / cites work: Semantic Versus Syntactic Cutting Planes / rank @@
+Normal rank
@@ Property / cites work @@
+Communication lower bounds via critical block sensitivity
+Normal rank
@@ Property / cites work @@
+A note on monotone real circuits
@@ Property / cites work: A note on monotone real circuits / 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 @@
+Boolean function complexity. Advances and frontiers.
+Normal rank
@@ Property / cites work @@
+Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities
+Normal rank
@@ Property / cites work @@
+Discretely ordered modules as a first-order extension of the cutting planes proof system
+Normal rank
@@ Property / cites work @@
+Interpolation by a Game
@@ Property / cites work: Interpolation by a Game / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655273
@@ Property / cites work: Q5655273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4284623
@@ Property / cites work: Q4284623 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for resolution and cutting plane proofs and monotone computations
+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 @@
+Q3429158
@@ Property / cites work: Q3429158 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Polytopes
@@ Property / cites work: Lectures on Polytopes / rank @@
+Normal rank