703304 VO Constraint Solving

winter semester 2022/2023 | Last update: 12.01.2023 | Place course on memo list

Department:

Department of Computer Science

Instructor:

assoz. Prof. Dr. René Thiemann, +43 512 507 53234

Course number:

703304

Title:

VO Constraint Solving

Type/hours:

VO 2

ECTS credits:

4,5

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, if necessary, develop them further independently. In addition, they can select suitable solvers for applications in order to solve problems effectively.

Contents:

Practicing the lecture topics by applying the presented concepts

Privacy notice:

course will be recorded

OLAT:

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

Link:

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

Start:

see dates

allocated to study field

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
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

Booking

Group	Booking period	Date of exam
703304-0	2022-09-01 00:00 - 2023-02-03 23:59
	Thiemann R.
703304-0	2023-01-12 10:38 - 2023-02-01 23:59	2023-02-03 10:15-12:00 SR 12
	Note: 1st exam	Thiemann R.