Completed
Propositional Logic and the SAT problem • Propositional logic reasons with Boolean formulas
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Money, Circuits, Mythic Figures, and More - Theory in the Allen School
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Binary Search Trees
- 3 Non-Adaptive Insertions
- 4 Sunflower Lemma [ErdosRado60]
- 5 Using Sunflowers
- 6 Combinatorial optimization
- 7 Approximation algorithms
- 8 The Santa Claus problem
- 9 Overview on SC & Makespan Scheduling
- 10 Propositional Logic and the SAT problem • Propositional logic reasons with Boolean formulas
- 11 Verifying commutativity is already hard
- 12 Application and Directions
- 13 Maximizing Revenue
- 14 Interdimensional: The FedEx Setting
- 15 FedEx Truthfulness
- 16 Example
- 17 How can we learn the function?
- 18 Stable Matching Theory: The Basics
- 19 Step 1
