23: Algorithmen 1, Vorlesung, SS 2018, 18.07.2018
1 hour 14 minutes Posted Jul 19, 2018 at 11:10 am.
Start
Heutige Vorlesung
Zusammenfassung
Propositional Logic
Staisfiability
Satisfiabilty Example
Satisfiability A Practical Example
Satisfiability Hardness
Satisfiability History
Applications of SAT solving
SAT Solving in the news
Pythadorean Triples
Arithmetic Progressions
Background: Van der Eaerden Numbers
Graph Coloring
Graph Coloring: Encoding in SAT
Graph Coloring: Example
Graph Coloring: Input
Graph Coloring: Output
Klausur
Klausurbonus
0:00
1:14:52
Show notes
23 |
Watch Video
