Skip to main content
Avi Wigderson
Personal
Short Bio
CV
Contact
Interviews & More
Works
Book: Math and Computation
Publications
Talks
Surveys
Efficient Universe
Post-Docs
Students
CSDM
Seminars
Conferences & videos
Optimization, Complexity and Invariant Theory
Avi60
Lens of Computation on the Sciences
Pseudorandomness
You are here
Home
»
Avi Wigderson
»
Talks
The Resolution proof system
Submitted by
sgriffin
on Thu, 2020-03-19 11:17
Description:
March 22, 2016
File:
Video
Date:
2016-03-22
‹ The Art of Reduction (or Depth through Breadth)
up
The SOS (aka Lassere/Positivestellensatz/Sum-of-Squares) System Series ›