Sign up to save your podcasts
Or
Share 23: Algorithmen 1, Vorlesung, SS 2018, 18.07.2018
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
23: Algorithmen 1, Vorlesung, SS 2018, 18.07.2018
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
View all episodes
By Karlsruher Institut für Technologie (KIT)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
More shows like Algorithmen 1, SS2018, Vorlesung
View all
Internationales Forum am ZAK
0 Listeners
IEEE International Conference on Robotics and Automation, 2013
0 Listeners
Einführung in die Stochastik für Studierende des gymnasialen Lehramts Mathematik, SS2015, Vorlesung
0 Listeners
Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2015
0 Listeners
Transport Phenomena in the Biosphere
0 Listeners
Einführung in die Geophysik 1, WS17/18, Vorlesung
0 Listeners
Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2014
0 Listeners
Einführung in die Stochastik für Studierende des gymnasialen Lehramts Mathematik, SS2014, Vorlesung
0 Listeners
Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2019
0 Listeners
Theoretische Grundlagen der Informatik, Vorlesung, WS19/20
0 Listeners