VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.
Seminar SAT
Last Updated: 2026-02-05 15:10:03
Abstract
Study and presentation of research papers from the literature on "Boolean Satisfiability-Combinatorics and Algorithms".
Objective
Goal of this seminar is to study and present, in continuation of the course "Boolean Satisfiability-Combinatorics and Algorithms", research papers from the literature.
Resources
Lecture Notes
Lecture Notes of the Course "Boolean Satisfiability-Combinatorics and Algorithms".
Literature
A list of papers for presentations will be distributed at the beginning of the seminar.
General Information
- Language
- German
- Frequency
- Yearly recurring
Examination
- Type
- graded semester performance
Course Components
| Type | Title | Time & Place | Hours |
|---|---|---|---|
| seminar | Seminar SAT |
|
2 h weekly |