From 7f63b0b05425fba881c660f6f7c0693371716935 Mon Sep 17 00:00:00 2001 From: Dominik Schreiber Date: Tue, 9 Jul 2024 14:53:26 +0200 Subject: [PATCH] Add link to Ex5 --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index d9c467d..a3c5c57 100644 --- a/README.md +++ b/README.md @@ -23,6 +23,7 @@ Summer Term 2024, Computer Science, Karlsruhe Institute of Technology (KIT) - [Tuesday, May 7: Assignment 2 (Tetris and Local Search Competitions, Resolution, Hidden Horn)](exercises/ex2.pdf) - [Tuesday, June 4: Assignment 3 (Hidoku Competition, CDCL, BVE, BCE)](exercises/ex3.pdf) - [Tuesday, June 18: Assignment 4 (Multiplier Encodings, Perfect Hashing Competition)](exercises/ex4.pdf) +- [Tuesday, July 9: Assignment 5 (Application-specific Analysis, Planning via MaxSAT, Distributed SAT, Miter Challenge)](exercises/ex5.pdf) ## Slides and Code used in the Exercises