Q5092479 (Q5092479): Difference between revisions

@@ Property / DOI @@
-.4230/LIPIcs.CCC.2020.28
@@ Property / DOI: 10.4230/LIPIcs.CCC.2020.28 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Mutilated chessboard problem is exponentially hard for resolution
+Normal rank
@@ Property / cites work @@
+Space Complexity in Propositional Calculus
@@ Property / cites work: Space Complexity in Propositional Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudorandom Generators in Propositional Proof Complexity
+Normal rank
@@ Property / cites work @@
+Q4681889
@@ Property / cites work: Q4681889 / rank @@
+Normal rank
@@ Property / cites work @@
+Clique is hard on average for regular resolution
@@ Property / cites work: Clique is hard on average for regular resolution / rank @@
+Normal rank
@@ Property / cites work @@
+The resolution complexity of independent sets and vertex covers in random graphs
+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 @@
+A lower bound for the pigeonhole principle in tree-like resolution by asymmetric prover-delayer games
+Normal rank
@@ Property / cites work @@
+Q5769706
@@ Property / cites work: Q5769706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218929
@@ Property / cites work: Q4218929 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution proofs of generalized pigeonhole principles
+Normal rank
@@ Property / cites work @@
+Many hard examples for resolution
@@ Property / cites work: Many hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228469
@@ Property / cites work: Q4228469 / rank @@
+Normal rank
@@ Property / cites work @@
+Unbalanced expanders and randomness extractors from Parvaresh--Vardy codes
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Tight Lower Bounds on the Resolution Complexity of Perfect Matching Principles
+Normal rank
@@ Property / cites work @@
+Regular resolution lower bounds for the weak pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Resolution lower bounds for the weak pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Lower bounds for the polynomial calculus
@@ Property / cites work: Lower bounds for the polynomial calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737899
@@ Property / cites work: Q4737899 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution lower bounds for the weak functional pigeonhole principle.
+Normal rank
@@ Property / cites work @@
+Resolution lower bounds for perfect matching principles
+Normal rank
@@ Property / cites work @@
+Pseudorandom generators hard for \(k\)-DNF resolution and polynomial calculus resolution
+Normal rank
@@ Property / cites work @@
+Read-once branching programs, rectangular proofs of the pigeonhole principle and the transversal calculus
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution proofs of matching principles
@@ Property / cites work: Resolution proofs of matching principles / rank @@
+Normal rank
@@ Property / cites work @@
+Width versus size in resolution proofs
@@ Property / cites work: Width versus size in resolution proofs / rank @@
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.CCC.2020.28
@@ Property / DOI: 10.4230/LIPICS.CCC.2020.28 / rank @@
+Normal rank