Kolloquium zur Komplexität und Logik
Friday 21 June 2024 -
13:00
Monday 17 June 2024
Tuesday 18 June 2024
Wednesday 19 June 2024
Thursday 20 June 2024
Friday 21 June 2024
13:00
13:00 - 13:30
13:30
The good, the bad, and the ugly days of a long-lasting friendship
The good, the bad, and the ugly days of a long-lasting friendship
13:30 - 14:00
Room: Großer Saal
14:00
On the Satisfaction Probability of k-CNF Formulas
On the Satisfaction Probability of k-CNF Formulas
14:00 - 14:40
Room: Großer Saal
14:40
Pause
Pause
14:40 - 15:10
Room: Oberlichtsaal
15:10
Persönliche Erfahrungen mit SAT-Solvern: Theorie und Praxis
Persönliche Erfahrungen mit SAT-Solvern: Theorie und Praxis
15:10 - 15:50
Room: Großer Saal
15:50
Spiele auf Graphen und die Komplexität von Resolution
Spiele auf Graphen und die Komplexität von Resolution
15:50 - 16:30
Room: Großer Saal
16:30
16:30 - 17:10
17:10
17:10 - 19:00
Room: Oberlichtsaal