Coursera Cuts Jobs Despite $100M Revenue Milestone

Polynomial Calculus Space and Resolution Width

Polynomial Calculus Space and Resolution Width

IEEE FOCS: Foundations of Computer Science via YouTube Direct link

Proof complexity

2 of 11
Previous
Next

2 of 11

Proof complexity

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Polynomial Calculus Space and Resolution Width

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Intro
  2. 2 Proof complexity
  3. 3 Resolution proof system
  4. 4 Space complexity
  5. 5 Proof by contradiction
  6. 6 Proof by backward induction
  7. 7 A combinatorial characterization
  8. 8 Total spaces with squared
  9. 9 Polynomial calculus
  10. 10 Consequences
  11. 11 Are these bounds tight

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.