24:27Algorithms for NP-Hard Problems (Section 21.5: Satisfiability Solvers)Tim Roughgarden Lectures1.1K viewsView & Download
2:24:00Maximum Satisfiability SolvingSimons Institute for the Theory of Computing1.3K viewsView & Download
22:27The Boolean Satisfiability Problem and Satisfiability Modulo Theories (SAT / SMT)HackOvert15.7K viewsView & Download
1:07:25Satisfiability Algorithms ISimons Institute for the Theory of Computing2.0K viewsView & Download
1:18:50Discrete Optimization Lecture 3: Reductions, hardness, NP-completeness, SAT, 3-SAT, undecidabilityJonathan Noel222 viewsView & Download
4:28Boolean Satisfiability Problem - Intro to Theoretical Computer ScienceUdacity161.9K viewsView & Download
1:25:2516. Complexity: P, NP, NP-completeness, ReductionsMIT OpenCourseWare489.1K viewsView & Download