Search results
From MaRDI portal
- Sum of squares lower bounds for refuting any CSP 2017-08-17 Paper Approximating rectangles by juntas and weakly-exponential lower bounds for LP relaxations...10 bytes (18 words) - 16:10, 13 December 2023
- Paper Exponential lower bounds to solutions of the Schrödinger equation: lower bounds for the spherical average 1983-01-01 Paper L2-lower bounds to solutions...10 bytes (16 words) - 15:14, 9 December 2023
- subexponential time 2017-08-17 Paper Exponential Lower Bounds for AC 0 -Frege Imply Superpolynomial Frege Lower Bounds 2016-10-24 Paper Marginal hitting sets...10 bytes (17 words) - 13:45, 28 January 2024
- Publication Type Unsatisfiability Bounds for Random CSPs from an Energetic Interpolation Method 2013-08-12 Paper Exponential Lower Bounds for DPLL Algorithms on Satisfiable...10 bytes (19 words) - 09:17, 7 October 2023
- Poly-logarithmic Frege depth lower bounds via an expander switching lemma 2017-09-29 Paper Strongly exponential lower bounds for monotone computation 2017-08-17...10 bytes (17 words) - 22:41, 24 September 2023
- Derandomizing Arthur-Merlin games and approximate counting implies exponential-size lower bounds 2011-11-08 Paper...10 bytes (16 words) - 14:15, 12 December 2023
- 2021-08-04 Paper Approximating Rectangles by Juntas and Weakly Exponential Lower Bounds for LP Relaxations of CSPs 2021-06-22 Paper List Decodable Learning...10 bytes (16 words) - 02:53, 7 October 2023
- Bridge between Graphs and Alternating Matrix Spaces 2021-06-22 Paper Exponential Lower Bounds for the PPSZ k-SAT Algorithm 2019-05-15 Paper Depth Reduction for...10 bytes (16 words) - 18:17, 6 October 2023
- 2011-05-19 Paper Better Gap-Hamming Lower Bounds via Better Round Elimination 2010-09-10 Paper Exponential lower bound for 2-query locally decodable codes...10 bytes (19 words) - 03:05, 9 December 2023
- Practice of Computer Science 2009-06-04 Paper Exponential Lower Bounds on the Space Complexity of OBDD-Based Graph Algorithms 2008-09-18 Paper SOFSEM 2006:...10 bytes (16 words) - 09:43, 6 October 2023
- 2015-09-24 Paper Exponential Lower Bounds and Integrality Gaps for Tree-Like Lovász–Schrijver Procedures 2012-05-30 Paper Exponential separation between...10 bytes (16 words) - 17:25, 6 October 2023
- ``Near-optimal lower bounds on regular resolution refutations of Tseitin formulas for all constant-degree graphs 2022-01-03 Paper Near-optimal lower bounds on regular...10 bytes (18 words) - 21:19, 11 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q5111416 2020-05-27 Paper Exponential Lower Bounds for the PPSZ k-SAT Algorithm 2019-05-15 Paper Cops-robber games...10 bytes (16 words) - 14:21, 6 October 2023
- 2008-12-21 Paper Linear Upper Bounds for Random Walk on Small Density Random 3‐CNFs 2007-10-22 Paper Exponential lower bounds for the running time of DPLL...10 bytes (16 words) - 08:35, 7 October 2023
- Publication Type Online Navigation in a Room 1995-11-22 Paper Exponential size lower bounds for some depth three circuits 1995-02-13 Paper Communication-Space...10 bytes (18 words) - 11:22, 24 September 2023
- 2017-07-14 Paper Optimal bounds for the predecessor problem 2016-09-29 Paper Time-Space Trade-offs in Resolution: Superpolynomial Lower Bounds for Superlinear Space...10 bytes (19 words) - 15:39, 12 December 2023
- transversal calculus 2003-12-14 Paper Lower bounds for the polynomial calculus 2003-12-07 Paper Resolution lower bounds for the weak functional pigeonhole...10 bytes (19 words) - 23:25, 11 December 2023
- Characterization and Lower Bounds for Branching Program Size using Projective Dimension 2019-12-16 Paper Arithmetic Circuit Lower Bounds via Maximum-Rank of...10 bytes (20 words) - 02:08, 12 December 2023
- of real exponential hypersurfaces 2018-02-22 Paper Topological lower bounds for arithmetic networks 2017-10-18 Paper On topological lower bounds for algebraic...10 bytes (20 words) - 12:31, 9 December 2023
- 2001-07-16 Paper A universal constant for exponential Riesz sequences 2000-09-04 Paper On lower bounds of exponential frames 1999-01-01 Paper...10 bytes (19 words) - 13:02, 8 December 2023
