703304 VO Constraint Solving

winter semester 2022/2023 | Last update: 12.01.2023 Place course on memo list
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
Group 0
Date Time Location
Fri 2022-10-07
10.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2022-10-21
10.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2022-10-28
10.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2022-11-04
10.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2022-11-11
10.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2022-11-18
10.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2022-11-25
10.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2022-12-02
10.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2022-12-09
10.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2022-12-16
10.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2023-01-13
10.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2023-01-20
10.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2023-01-27
10.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2023-02-03
10.15 - 12.00 SR 12 SR 12 Barrier-free