Coursera Cuts Jobs Despite $100M Revenue Milestone

Automating Resolution is NP-Hard

Automating Resolution is NP-Hard

IEEE FOCS: Foundations of Computer Science via YouTube Direct link

Reflection Principle

11 of 15
Previous
Next

11 of 15

Reflection Principle

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Automating Resolution is NP-Hard

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Intro
  2. 2 Timeline
  3. 3 The 2000s
  4. 4 Defining Resolution
  5. 5 Resolution Example
  6. 6 Proof Search Problem
  7. 7 Proof System Hierarchy
  8. 8 Positive Results
  9. 9 Negative Results
  10. 10 New Construction
  11. 11 Reflection Principle
  12. 12 Proof System
  13. 13 Recap
  14. 14 Lower Boundary
  15. 15 Quick Question

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.