703304 VO Constraint Solving
summer semester 2025 | Last update: 17.10.2025 | Place course on memo list703304
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.
Foundations in the usage and the design of SAT- and SMT-solvers; decision procedure for certain theories, including their complexity.
Lecture, assessment is based on a single examination at the end of the course.
written exam
See accompanying web site.
Knowledge about logic.
see dates
- Faculty of Teacher Education
- 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 | ||
|
Tue 2025-03-04
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrier-free | |
|
Tue 2025-03-11
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrier-free | |
|
Tue 2025-03-18
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrier-free | |
|
Tue 2025-03-25
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrier-free | |
|
Tue 2025-04-01
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrier-free | |
|
Tue 2025-04-08
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrier-free | |
|
Tue 2025-04-29
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrier-free | |
|
Tue 2025-05-06
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrier-free | |
|
Tue 2025-05-13
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrier-free | |
|
Tue 2025-05-20
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrier-free | |
|
Tue 2025-05-27
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrier-free | |
|
Tue 2025-06-03
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrier-free | |
|
Tue 2025-06-10
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrier-free | |
|
Tue 2025-06-17
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrier-free | |
|
Tue 2025-06-24
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrier-free | |
|
Fri 2025-12-12
|
14.00 - 16.00 | HSB 7 HSB 7 | Barrier-free | 3rd exam |