https://act.iti.kit.edu/ 2026-04-24T22:25:59+00:00 https://act.iti.kit.edu/ https://act.iti.kit.edu/_media/wiki/dokuwiki.svg text/html 2026-04-22T11:32:02+00:00 kuennemann (kuennemann@undisclosed.example.com) https://act.iti.kit.edu/navigationmenu?rev=1776857522&do=diff * People * Marvin Künnemann * Sebastian Angrick * Geri Gokaj * Mirza Redzic * Julian Stieß * Alumni * Teaching * Summer Semester 26 * Lecture: Fine-Grained Complexity Theory & Algorithms * Seminar: Fine-grained Complexity Theory & Algorithms * Theory of Satisfiability Algorithms * Seminar: Current Trends in TCS * Winter Semester 25/26 * Algorithmen II * Fortgeschrittenes Algorithmisches Programmieren * Fine-Grained Algorithm Design & E… text/html 2026-04-20T23:28:21+00:00 gokaj (gokaj@undisclosed.example.com) https://act.iti.kit.edu/teaching/26sose/cttcs?rev=1776727701&do=diff Current Trends in Theoretical Computer Science Seminar: Knapsack, Subset sum and Partition This seminar is aimed at students that are interested in the current advances in the landscape of theoretical computer science and insights into new research. The main part of this seminar will consist of reading and discussing recent papers with interesting and new results, where every participant will once lead the discussion on the given topic. text/html 2026-04-18T21:00:24+00:00 admin (admin@undisclosed.example.com) https://act.iti.kit.edu/publist/all_byyear?rev=1776546024&do=diff text/html 2026-04-18T21:00:23+00:00 admin (admin@undisclosed.example.com) https://act.iti.kit.edu/publist/52_735_marvinknnemann_byyear?rev=1776546023&do=diff text/html 2026-04-18T21:00:23+00:00 admin (admin@undisclosed.example.com) https://act.iti.kit.edu/publist/336_3348_mirzaredzic_byyear?rev=1776546023&do=diff text/html 2026-04-17T11:42:06+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/?image=teaching%3A25wise%3Aloesung.pdf&ns=teaching%3A25wise&rev=1776426126&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="loesung.pdf" loading="lazy" width="500" height="500" /> text/html 2026-04-15T13:54:38+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/teaching/26sose/theoryofsat?rev=1776261278&do=diff Theory of Satisfiability Algorithms General Lecturer: Marvin Künnemann Lecture Dates (21.04. to 28.07.): * Tuesday, 14:00 - 15:30, InformatiKOM II -- 50.28 Seminarraum 1 Course Contents The Satisfiability (SAT) problem for Boolean formulas is fundamental for computer science, due to a variety of applications (cf. the practical success of SAT solvers) as well as its central role for the theory of computation. This course focuses on theoretical aspects of the problem, which includes topics… text/html 2026-04-15T09:00:17+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/start?rev=1776243617&do=diff Welcome to the Algorithms & Complexity Group Welcome to the Algorithms & Complexity group lead by Prof. Dr. Marvin Künnemann. Our group belongs to the Institute of Theoretical Informatics. You can find us on the third floor of the Computer Science building (50.34). ---------- People Group Members * Geri Gokaj * Julian Stieß * Marvin Künnemann * Mirza Redzic * Sebastian Angrick Teaching text/html 2026-04-15T07:42:01+00:00 angrick (angrick@undisclosed.example.com) https://act.iti.kit.edu/teaching/26sose/fgct?rev=1776238921&do=diff Fine-Grained Complexity Theory & Algorithms Competency Goals: Students know the foundations of fundamental algorithmic barriers in the polynomial-time and exponential-time regimes. They are able to use fine-grained reductions to relate the time complexity of different problems. They can derive conditional lower bounds from such reductions, based on established hardness assumptions. text/html 2026-04-12T13:06:22+00:00 gokaj (gokaj@undisclosed.example.com) https://act.iti.kit.edu/?image=people%3Apres_esa.pdf&ns=people&rev=1775999182&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="pres_esa.pdf" loading="lazy" width="500" height="500" /> text/html 2026-03-31T15:42:33+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/?image=teaching%3A25wise%3Aklausur.pdf&ns=teaching%3A25wise&rev=1774971753&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="klausur.pdf" loading="lazy" width="500" height="500" /> text/html 2026-03-31T15:41:38+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/?image=teaching%3A25wise%3Aresults.pdf&ns=teaching%3A25wise&rev=1774971698&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="results.pdf" loading="lazy" width="500" height="500" /> text/html 2025-10-31T14:38:05+00:00 angrick (angrick@undisclosed.example.com) https://act.iti.kit.edu/?image=teaching%3A25wise%3Aintroduction-print.pdf&ns=teaching%3A25wise&rev=1761921485&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="introduction-print.pdf" loading="lazy" width="500" height="500" /> text/html 2025-10-23T08:41:23+00:00 kuennemann (kuennemann@undisclosed.example.com) https://act.iti.kit.edu/?image=people%3Amk.jpg&ns=people&rev=1761208883&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/_media/people/mk.jpg?w=500&amp;h=500&amp;tok=45e295" alt="mk.jpg" loading="lazy" width="500" height="500" /> text/html 2025-09-09T16:16:40+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/?image=teaching%3A24wise%3Atgi_klausur_2_2425.pdf&ns=teaching%3A24wise&rev=1757434600&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="tgi_klausur_2_2425.pdf" loading="lazy" width="500" height="500" /> text/html 2025-09-09T16:16:40+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/?image=teaching%3A24wise%3Atgi_loesung_2_2425.pdf&ns=teaching%3A24wise&rev=1757434600&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="tgi_loesung_2_2425.pdf" loading="lazy" width="500" height="500" /> text/html 2025-09-09T15:51:05+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/?image=teaching%3A24wise%3Anachklausur-ergebnis.pdf&ns=teaching%3A24wise&rev=1757433065&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="nachklausur-ergebnis.pdf" loading="lazy" width="500" height="500" /> text/html 2025-07-07T17:15:39+00:00 gokaj (gokaj@undisclosed.example.com) https://act.iti.kit.edu/?image=people%3Aesa25.pdf&ns=people&rev=1751908539&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="esa25.pdf" loading="lazy" width="500" height="500" /> text/html 2025-07-07T17:15:16+00:00 gokaj (gokaj@undisclosed.example.com) https://act.iti.kit.edu/?image=people%3Aesa.pdf&ns=people&rev=1751908516&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="esa.pdf" loading="lazy" width="500" height="500" /> text/html 2025-05-15T13:18:27+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/?image=resources%3Athesis-template-main.zip&ns=resources&rev=1747315107&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/zip.svg" alt="thesis-template-main.zip" loading="lazy" width="500" height="500" />