703305 PS Constraint Solving

winter semester 2022/2023 | Last update: 30.06.2022 Place course on memo list
703305
PS Constraint Solving
PS 2
3
weekly
annually
English
In-depth understanding of constraint solving. Students are proficient in concepts that are used in current SAT, SMT and similar solvers and can also develop these independently if necessary. In addition, they can select suitable solvers for applications in order to solve problems effectively.

Practicing of the themes of the lectures by applying the presented concepts

see dates
Group 0
Date Time Location
Wed 2022-10-12
16.15 - 18.00 3W03 3W03 Barrier-free
Wed 2022-10-19
16.15 - 18.00 3W03 3W03 Barrier-free
Wed 2022-11-09
16.15 - 18.00 3W03 3W03 Barrier-free
Wed 2022-11-16
16.15 - 18.00 3W03 3W03 Barrier-free
Wed 2022-11-23
16.15 - 18.00 3W03 3W03 Barrier-free
Wed 2022-11-30
16.15 - 18.00 3W03 3W03 Barrier-free
Wed 2022-12-07
16.15 - 18.00 3W03 3W03 Barrier-free
Wed 2022-12-14
16.15 - 18.00 3W03 3W03 Barrier-free
Wed 2023-01-11
16.15 - 18.00 3W03 3W03 Barrier-free
Wed 2023-01-18
16.15 - 18.00 3W03 3W03 Barrier-free
Wed 2023-01-25
16.15 - 18.00 3W03 3W03 Barrier-free
Wed 2023-02-01
16.15 - 18.00 3W03 3W03 Barrier-free