Florian Strobel

M.Sc.
Research Assistant

Contact

Florian Thorsten Lutz Strobel
E-6 Elektrische Energietechnik
  • Elektrische Energietechnik
Harburger Schloßstraße 22a,
21079 Hamburg
Building HS22a, Room 2.014
Phone: +49 40 42878 2750
Logo

Research Project

DISEGO
Critical Components for Distributed and Secure Grid Operation

DISEGO

Critical Components for Distributed and Secure Grid Operation

Federal Ministry for Economic Affairs and Climate Action (BMWK); Duration: 2022 to 2025

Publications

TUHH Open Research (TORE)

2023

Courses

Stud.IP
zur Veranstaltung in Stud.IP Studip_icon
Constraint Satisfaction Problems (HÜ)
Untertitel:
This course is part of the module: Constraint Satisfaction Problems
Semester:
SoSe 24
Veranstaltungstyp:
Übung (Lehre)
Veranstaltungsnummer:
lv3003_s24
DozentIn:
Prof. Dr. Antoine Mottet
Beschreibung:
This course gives an introduction to the topic of constraint satisfaction problems and their complexity. It 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. We will finally discuss the recent research directions in the field.Educational Objectives: After taking part successfully, students have reached the following learning results Professional Competence:- Knowledge:* Students can describe basic concepts from the theory of constraint satisfaction such as primitive positive formulas, interpretations, polymorphisms, clones* Students can discuss the connections between these concepts* Students know proofs strategies and can reproduce them- Skills:* Students can use CSPs to model problems fromcomplexity theory and decide their complexity using methods from the course.
Leistungsnachweis:
m1812-2021 - Constraint Satisfaction Problems<ul><li>p1803-2021 - Constraint Satisfaction Problems: mündlich</li></ul>
ECTS-Kreditpunkte:
3
Weitere Informationen aus Stud.IP zu dieser Veranstaltung
Heimatinstitut: Theoretische Informatik (E-EXK6)
In Stud.IP angemeldete Teilnehmer: 1

Supervised Theses

ongoing
completed