703304 VO Constraint Solving
winter semester 2021/2022 | Last update: 30.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
703304
VO Constraint Solving
VO 2
4,5
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, if necessary, develop them further independently. In addition, they can select suitable solvers for applications in order to solve problems effectively.
Practicing the lecture topics 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 | ||
|
Fri 2021-10-08
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
|
Fri 2021-10-22
|
10.15 - 12.00 | HSB 6 HSB 6 | Barrier-free | |
|
Fri 2021-10-29
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
|
Fri 2021-11-05
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
|
Fri 2021-11-12
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
|
Fri 2021-11-19
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
|
Fri 2021-11-26
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
|
Fri 2021-12-03
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
|
Fri 2021-12-10
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
|
Fri 2021-12-17
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
|
Fri 2022-01-14
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
|
Fri 2022-01-21
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
|
Fri 2022-01-28
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
|
Fri 2022-02-04
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |