VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.
263-4200-00L
2
Credits
BSC
,
MSC
D-MATH
,
D-INFK
You're viewing possible stale or outdated data. Please check the latest semester for more up-to-date information.
Seminar SAT
Last Updated: 2026-02-05 15:19:41
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
Literature
A list of papers for presentations will be distributed at the beginning of the seminar.
General Information
- Language
- English
- Levels
- BSC , MSC
- Frequency
- Yearly recurring
Examination
- Type
- graded semester performance
Course Components
| Type | Title | Time & Place | Hours |
|---|---|---|---|
| seminar | Seminar SAT |
|
2 h weekly |