SAT Solving Lecture Summer Semester 2022
Organization
- Mode: lecture is streamed and recorded.
- Lecture & Exercise Class: Tuesdays 2pm-4pm, Thursdays 10am-12am
- Room: SR 00 006 Geb. 051
- Credits: 6 ECTS
- Dependencies: none
- Responsible: Prof. Dr. Armin Biere
- Support: Tobias Paxian
- Exercises: Bi-weekly meeting of the single exercise group every second Thursday.
Goals
Introduction into advanced data structures and algorithms for SAT Solving.
Exercises
The mode of the exercises depends on the number of participants and finalized at the end of the first week.
Given the number of attendees of the first lecture on Monday we plan to split the exercises into a theoretical part with classical exercises, which are only presented but not graded, and a practical part where you have to hand in personal solutions. More about this second part will be explained with the first pratical exercise sheet published next Monday on May 2 in ILIAS.
ILIAS
The course will very similar to same course taught at JKU for which you already find more resources here:
We are in the process of copying and extending this material, which will then be made available here and in the ILIAS page of this course.