Clique Is Hard on Average for Regular Resolution

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=QqpGZqzeGaY


Duration: 46:12
488 views
10

Susanna de Rezende (KTH Royal Institute of Technology)
https://simons.berkeley.edu/talks/clique-hard-average-regular-resolution
Boolean Devices



Other Videos By Simons Institute for the Theory of Computing


2018-09-14The Complexity of Distributions
2018-09-14Distribution-Free Junta Testing
2018-09-14The Pathset Approach to Formula Lower Bounds
2018-09-13Boolean Matrix Multiplication Lower Bounds
2018-09-13New Lower Bounds Through an Improved Easy Witness Lemma
2018-09-13Recent Structure Lemmas for Depth-two Threshold Circuits
2018-09-13A Review of Some Recent Lower Bounds Against Low-Depth Threshold Circuits
2018-09-13Natural Properties, MCSP, and Proving Circuit Lower Bounds
2018-09-13Hardness Magnification
2018-09-13A Survey on MCSP
2018-09-12Clique Is Hard on Average for Regular Resolution
2018-09-12Fooling Polytopes
2018-09-12An Overview of Quantified Derandomization
2018-09-11Locating Linear Decision Lists within TC^0
2018-09-11Monotone Circuit Lower Bounds from Resolution (Now with Applications!)
2018-09-11BPP Lifting and Its Applications
2018-09-11Approximate Degree and Quantum Query Lower Bounds via Dual Polynomials
2018-09-11Algorithmic Polynomials
2018-09-11Lifting Nullstellensatz Degree to Monotone Span Program Size
2018-09-10Static Data Structure Lower Bounds Imply Rigidity
2018-09-10Lower Bounds for Unrestricted Boolean Circuits: Open Problems


Tags:
Boolean Devices
Susanna de Rezende
Simons Institute
Theory of Computing
Theory of Computation
Theoretical Computer Science
Computer Science
UC Berkeley