Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Lecture – Admissible Pruning II: Dominance Pruning/Planning as SAT | Lecture | HS003 (E1 3) | 1 | 15.05.25 | 15.05.25 | No | |
| Lecture – Admissible Pruning I: Partial-Order Reduction/Admissible Pruning II: Dominance Pruning | Lecture | HS003 (E1 3) | 1 | 08.05.25 | 08.05.25 | No | |
| Lecture – Admissible Pruning I: Partial-Order Reduction | Lecture | HS003 (E1 3) | 1 | 24.04.25 | 24.04.25 | No |