703305 PS Constraint Solving
winter semester 2021/2022 | Last update: 29.09.2021 | Place course on memo listAdjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk
Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk, +43 512 507 53299
assoz. Prof. Dr. René Thiemann assoz. Prof. Dr. René Thiemann, +43 512 507 53234
assoz. Prof. Dr. René Thiemann assoz. Prof. Dr. René Thiemann, +43 512 507 53234
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
- 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 | ||
|
Thu 2021-10-14
|
10.15 - 12.00 | HSB 9 HSB 9 | Barrier-free | |
|
Thu 2021-10-21
|
10.15 - 12.00 | HSB 9 HSB 9 | Barrier-free | |
|
Thu 2021-10-28
|
10.15 - 12.00 | HSB 9 HSB 9 | Barrier-free | |
|
Thu 2021-11-04
|
10.15 - 12.00 | HSB 9 HSB 9 | Barrier-free | |
|
Thu 2021-11-11
|
10.15 - 12.00 | HSB 9 HSB 9 | Barrier-free | |
|
Thu 2021-11-18
|
10.15 - 12.00 | HSB 9 HSB 9 | Barrier-free | |
|
Thu 2021-11-25
|
10.15 - 12.00 | HSB 9 HSB 9 | Barrier-free | |
|
Thu 2021-12-02
|
10.15 - 12.00 | HSB 9 HSB 9 | Barrier-free | |
|
Thu 2021-12-09
|
10.15 - 12.00 | HSB 9 HSB 9 | Barrier-free | |
|
Thu 2021-12-16
|
10.15 - 12.00 | HSB 9 HSB 9 | Barrier-free | |
|
Thu 2022-01-13
|
10.15 - 12.00 | HSB 9 HSB 9 | Barrier-free | |
|
Thu 2022-01-20
|
10.15 - 12.00 | HSB 9 HSB 9 | Barrier-free | |
|
Thu 2022-01-27
|
10.15 - 12.00 | HSB 9 HSB 9 | Barrier-free | |
|
Thu 2022-02-03
|
10.15 - 12.00 | HSB 9 HSB 9 | Barrier-free | |