Education
23 | 0:00:00 Start 0:00:52 Heutige Vorlesung 0:01:52 Zusammenfassung 0:08:58 Propositional Logic 0:13:39 Staisfiability 0:16:08 Satisfiabilty - Example 0:19:27 Satisfiability - A Practical Example 0:27:15 Satisfiability - Hardness 0:35:41 Satisfiability - History 0:39:37 Applications of SAT solving 0:42:50 SAT Solving in the news 0:44:28 Pythadorean Triples 0:53:13 Arithmetic Progressions 0:56:39 Background: Van der Eaerden Numbers 1:00:11 Graph Coloring 1:02:10 Graph Coloring: Encoding in SAT 1:03:57 Graph Coloring: Example 1:04:00 Graph Coloring: Input 1:05:16 Graph Coloring: Output 1:06:44 Klausur 1:11:26 Klausurbonus