1:13:01[Scheduling seminar] Laurent Perron (Google France) | The CP-SAT solverScheduling seminar5.4K viewsView & Download
33:34Searching Inside the Box: A Continuous-Local-Search Approach for Hybrid SAT SolvingSimons Institute for the Theory of Computing465 viewsView & Download
54:51Solving Max-SAT by Decoupling Optimization and SatisfactionMicrosoft Research4.0K viewsView & Download
14:33Lecture 06-3 SAT solver optimizations: runtime choicesAutomated Reasoning474 viewsView & Download
25:19All of SAT Problem-Solving and Data Analysis in 25 MinutesThe SAT Gamified4.8K viewsView & Download
3:28How to Get a 1400+ on the SAT (Even if You're Not Smart)The SAT Gamified12.0K viewsView & Download