Update README.md

Author: biotomas

README.md

@@ -12,7 +12,7 @@ Summer Term 2024, Computer Science, Karlsruhe Institute of Technology (KIT)
 - [Monday, May 27: Modern SAT Solving 2: Efficient Unit Propagation, Clause Forgetting, VSIDS, Community Structure, Preprocessing](slides/l06-cdcl.pdf)
 - [Monday, June 3: Preprocessing: Subsumption, BVE, BCE, Gates](slides/l07-preprocessing.pdf)
 - [Monday, June 17: MaxSat](slides/l09-maxsat.pdf)
-- [Tuesday, June 18: Planning](slides/l10-plannning.pdf)
+- [Tuesday, June 18: Planning](slides/l10-planning.pdf)
 
 ## Exercises