Courses


Advanced search|Reset
Elective Module 2: Constraint-Solving (7.5 ECTS-credits, 4 hours)
Prerequisites for registration: none
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.
Go to the superordinate section
OLAT ML
703304
VO Constraint Solving (VO / 2h / 4,5 ECTS-AP)
Cezary Kaliszyk, René Thiemann
Details of this course
OLAT ML
703305
PS Constraint Solving (PS / 2h / 3 ECTS-AP)
Cezary Kaliszyk, René Thiemann
Details of this course

Notes:
  • There may still be changes in the courses offered as well as room allocation and course dates.
  • The course descriptions found in the English version of the course catalogue are for informational purposes only. Authoritative information can be found in the "Vorlesungsverzeichnis" (German version of the course catalogue).