VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.

251-0494-00L 4 Credits
You're viewing possible stale or outdated data. Please check the latest semester for more up-to-date information.

Seminar SAT

Lecturers & Examiners: Prof. em. Dr. Emo Welzl, Prof. Dr. Tibor Szabo
VVZ CR n/a

Last Updated: 2026-02-05 15:02:38

Abstract

Study and presentation of research papers from the literature on "Boolean Satisfiability-Combinatorics and Algorithms".

Content

The seminar, intended both for mathematics and computer science students, will cover different topics from extremal combinatorics with an emphasis on applications to theoretical computer science. A significant portion of the material will be selected from the book "Extremal Combinatorics" by Stasys Jukna.

General Information

Language
German
Frequency
Yearly recurring

Examination

Type
session examination
Mode
oral 30 minutes

Course Components

Type Title Time & Place Hours
seminar Seminar SAT
  • Thu 10:15-12:00 (IFW B 42)
2 h weekly

Offered In