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 DS D-INFK
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
Only for Diploma Course students!
VVZ CR n/a

Last Updated: 2026-02-05 15:19:49

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
English
Levels
DS
Frequency
Yearly recurring

Examination

Type
graded semester performance

Course Components

Type Title Time & Place Hours
seminar Seminar SAT
  • Tue 13:15-15:00 (CAB G 52)
2 h weekly

Offered In