Expander Construction in VNC1 (Q4638081): Difference between revisions

@@ label / en / label / en @@
+Expander Construction in VNC1
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit construction of linear sized tolerant networks
+Normal rank
@@ Property / cites work @@
+Random Cayley graphs and expanders
@@ Property / cites work: Random Cayley graphs and expanders / rank @@
+Normal rank
@@ Property / cites work @@
+An Elementary Construction of Constant-Degree Expanders
+Normal rank
@@ Property / cites work @@
+A bounded arithmetic AID for Frege systems
@@ Property / cites work: A bounded arithmetic AID for Frege systems / rank @@
+Normal rank
@@ Property / cites work @@
+Monotone Proofs of the Pigeon Hole Principle
@@ Property / cites work: Monotone Proofs of the Pigeon Hole Principle / rank @@
+Normal rank
@@ Property / cites work @@
+Monotone simulations of non-monotone proofs.
@@ Property / cites work: Monotone simulations of non-monotone proofs. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4828877
@@ Property / cites work: Q4828877 / rank @@
+Normal rank
@@ Property / cites work @@
+Expander Construction in VNC1
@@ Property / cites work: Expander Construction in VNC1 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial size proofs of the propositional pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Collapsing modular counting in bounded arithmetic and constant depth propositional proofs
+Normal rank
@@ Property / cites work @@
+Bounded arithmetic for NC, ALogTIME, L and NL
@@ Property / cites work: Bounded arithmetic for NC, ALogTIME, L and NL / rank @@
+Normal rank
@@ Property / cites work @@
+Q5306365
@@ Property / cites work: Q5306365 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133141
@@ Property / cites work: Q4133141 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\)
+Normal rank
@@ Property / cites work @@
+The PCP theorem by gap amplification
@@ Property / cites work: The PCP theorem by gap amplification / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit constructions of linear-sized superconcentrators
+Normal rank
@@ Property / cites work @@
+Expander graphs and their applications
@@ Property / cites work: Expander graphs and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate counting in bounded arithmetic
@@ Property / cites work: Approximate counting in bounded arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate counting by hashing in bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Substitution Frege and extended Frege proof systems in non-classical logics
+Normal rank
@@ Property / cites work @@
+On theories of bounded arithmetic for \(\mathrm{NC}^1\)
+Normal rank
@@ Property / cites work @@
+A sorting network in bounded arithmetic
@@ Property / cites work: A sorting network in bounded arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Ramanujan graphs
@@ Property / cites work: Ramanujan graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A new proof of the weak pigeonhole principle
@@ Property / cites work: A new proof of the weak pigeonhole principle / rank @@
+Normal rank
@@ Property / cites work @@
+Q4071451
@@ Property / cites work: Q4071451 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability of the pigeonhole principle and the existence of infinitely many primes
+Normal rank
@@ Property / cites work @@
+Improved sorting networks with O(log N) depth
@@ Property / cites work: Improved sorting networks with O(log N) depth / rank @@
+Normal rank
@@ Property / cites work @@
+Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Q4934563
@@ Property / cites work: Q4934563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281694
@@ Property / cites work: Q4281694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474836
@@ Property / cites work: Q4474836 / rank @@
+Normal rank
@@ Property / cites work @@
+Undirected connectivity in log-space
@@ Property / cites work: Undirected connectivity in log-space / rank @@
+Normal rank
@@ Property / cites work @@
+Entropy waves, the zig-zag graph product, and new constant-degree expanders
+Normal rank
@@ Property / cites work @@
+Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques
+Normal rank
@@ Property / cites work @@
+On uniform circuit complexity
@@ Property / cites work: On uniform circuit complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Sorting networks of logarithmic depth, further simplified
+Normal rank
@@ Property / full work available at URL @@
+https://dblp.uni-trier.de/db/conf/innovations/innovations2017.html#BussKKK17
+Normal rank
@@ Property / OpenAlex ID @@
+W2771071550
@@ Property / OpenAlex ID: W2771071550 / rank @@
+Normal rank
@@ Property / title @@
+Expander Construction in VNC1 (English)
@@ Property / title: Expander Construction in VNC1 (English) / rank @@
+Normal rank