Logo Institute of Electrical Power and Energy Technology
Institute of Electrical Power and Energy Technology
Logo Institute of Electrical Power and Energy Technology
Institute of Electrical Power and Energy Technology
DE
EN
Search
DE
EN
Search
More
Publications
Courses
IEET > Staff > Honorary Professor > Prof. Dr.-Ing. Roland Harig

Prof. Dr.-Ing. Roland Harig

Honorary Professor

Contact

Prof. Dr.-Ing. Roland Harig
E-6 Elektrische Energietechnik
  • Elektrische Energietechnik
Office Hours
nach Vereinbarung
Harburger Schloßstraße 36,
21079 Hamburg
Building HS36, Room C2 1.009

Previous activity

until 03/2015
Head of Research Area Optical Measurement Technology (Infrared Measurment Technology) at the Institute of Measurement Technology / TUHH

Publications

TUHH Open Research (TORE)

2012

2011

2008

Courses

Stud.IP
link to course in Stud.IP Studip_icon
Constraint Satisfaction Problems (VL)
Subtitle:
This course is part of the module: Constraint Satisfaction Problems
Semester:
SoSe 24
Course type:
Lecture
Course number:
lv3002_s24
Lecturer:
Prof. Dr. Antoine Mottet
Description:

This course gives an introduction to the topic of constraint satisfaction problems and their complexity. A constraint satisfaction problem (CSP) is a computational problem of the form "Given variables and constraints on the variables, does there exist an assignment of the variables to some concrete domain that satisfies all the constraints?" The framework of CSPs is very general, and in fact every computational problem is equivalent to a CSP. The study of CSPs has been very prolific in the past, both in practice (e.g., with SAT solvers) and in complexity theory, a prominent field of theoretical computer science.

In this course, we will review the theoretical aspects of CSPs. The course will cover the basics of the theory such as the universal-algebraic approach to constraint satisfaction and several classical algorithms such as local consistency checking and the Bulatov-Dalmau algorithm.

Basic knowledge in predicate logic and an affinity to abstract mathematical thinking are highly recommended in order to follow this course.
Performance accreditation:
m1812-2021 - Constraint Satisfaction Problems<ul><li>p1803-2021 - Constraint Satisfaction Problems: mündlich</li></ul>
ECTS credit points:
3
Stud.IP informationen about this course:
Home institute: Theoretische Informatik (E-EXK6)
Registered participants in Stud.IP: 20
Postings: 3
Documents: 11
TU Hamburg
Institute of Electrical Power and Energy Technology (ieet) E-6
Prof. Dr.-Ing. Christian Becker
Harburger Schloßstraße 36
21079 Hamburg
E-mail : ieet(at)tuhh.de
Phone : +49 40 42878 3213
Fax : +49 40 42878 2382
Links
Map and Directions
Data Privacy
Imprint