703305 PS Constraint Solving

summer semester 2026 | Last update: 27.11.2025 | Place course on memo list

Department:

Department of Computer Science

Instructor:

Dr. Manuel Eberl, +43 512 507 53467

Course number:

703305

Title:

PS Constraint Solving

Type/hours:

PS 2

ECTS credits:

Period:

weekly

Mode of repetition:

annually

Language of instruction:

English

Learning Outcome:

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.

Contents:

Practicing of the themes of the lectures by applying the presented concepts

Methods:

Weekly exercises that are presented and discussed in the Proseminar.

Assessment:

Continuous assessment of course work

Literature:

Will be discussed in the first lesson.

Prerequisites:

Knowledge of Logic

Remarks:

Allocation of places in courses with a limited number of participants (PS, SE, VU, PJ)

In courses with a limited number of participants, course places are allocated as follows:

1. Students for whom the study duration would be extended due to the postponement are to be given priority.

2. If the criteria in no. 1 do not suffice, first, students for whom this course is part of a compulsory module are to be given priority, and second, students for whom this course is part of an elective module.

3. If the criteria in no. 1 and 2 do not suffice, the available places are drawn by random.

Curriculum MA Computer Science 2021W

OLAT:

https://lms.uibk.ac.at/url/RepositoryEntry/6020563144

Link:

http://cl-informatik.uibk.ac.at/teaching/ss26/cs/

Start:

see dates

Course allocation

Faculty of Mathematics, Computer Science and Physics

Master's Programme Computer Science according to the Curriculum 2021 (120 ECTS-Credits, 4 semesters)

Elective Modules (50 ECTS-Credits)

Elective Module 1: Constraint-Solving (7.5 ECTS-credits, 4 hours)

Sustainable development goals

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.

Dates

Group 0	Export course dates of this group as iCalendar (.ics) Help
Date	Time	Location
Tue 2026-03-10	12.00 - 13.30	3W04 3W04	Barrier-free
Tue 2026-03-17	12.00 - 13.30	3W04 3W04	Barrier-free
Tue 2026-03-24	12.00 - 13.30	3W04 3W04	Barrier-free
Tue 2026-04-14	12.00 - 13.30	3W04 3W04	Barrier-free
Tue 2026-04-21	12.00 - 13.30	3W04 3W04	Barrier-free
Tue 2026-04-28	12.00 - 13.30	3W04 3W04	Barrier-free
Tue 2026-05-05	12.00 - 13.30	3W04 3W04	Barrier-free
Tue 2026-05-12	12.00 - 13.30	3W04 3W04	Barrier-free
Tue 2026-05-19	12.00 - 13.30	3W04 3W04	Barrier-free
Tue 2026-05-26	12.00 - 13.30	3W04 3W04	Barrier-free
Tue 2026-06-02	12.00 - 13.30	3W04 3W04	Barrier-free
Tue 2026-06-09	12.00 - 13.30	3W04 3W04	Barrier-free
Tue 2026-06-16	12.00 - 13.30	3W04 3W04	Barrier-free
Tue 2026-06-23	12.00 - 13.30	3W04 3W04	Barrier-free