703305 PS Constraint Solving
winter semester 2022/2023 | Last update: 30.06.2022 | Place course on memo list703305
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
- Faculty of Mathematics, Computer Science and Physics
- SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.
- SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.
|
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 | |