703304 VO Constraint Solving
summer semester 2026 | Last update: 05.06.2026 | 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 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 2026-03-04
|
13.45 - 15.15 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-03-11
|
13.45 - 15.15 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-03-18
|
13.45 - 15.15 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-04-15
|
13.45 - 15.15 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-04-22
|
13.45 - 15.15 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-04-29
|
13.45 - 15.15 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-05-06
|
13.45 - 15.15 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-05-13
|
13.45 - 15.15 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-05-20
|
13.45 - 15.15 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-05-27
|
13.45 - 15.15 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-06-03
|
13.45 - 15.15 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-06-10
|
13.45 - 15.15 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-06-17
|
13.45 - 15.15 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-06-24
|
13.45 - 15.15 | 3W04 3W04 | Barrier-free | |
|
Mon 2026-09-28
|
14.00 - 16.00 | 3W04 3W04 | Barrier-free | |
|
Tue 2027-02-09
|
14.00 - 16.00 | 3W04 3W04 | Barrier-free | |
| Group | Booking period | Date of exam | |
|---|---|---|---|
|
703304-0
703304-0 |
2026-02-01 08:00 - 2026-06-27 23:59 | Book course | |
| Eberl M. | |||
|
703304-0
703304-0 |
2026-06-03 18:00 - 2026-06-19 23:59 |
2026-06-24
13:45
3W04
|
Register exam |
| Eberl M. | |||
|
703304-0
703304-0 |
2026-06-03 18:00 - 2026-08-25 23:59 |
2026-09-28
14:00
3W04
|
Register exam |
| Eberl M. | |||
|
703304-0
703304-0 |
2026-06-03 19:00 - 2027-01-26 23:59 |
2027-02-09
14:00
3W04
|
Register exam |
| Eberl M. | |||