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

Seminar SAT

Lecturers & Examiners: Prof. em. Dr. Emo Welzl
Only for Diploma Course students!
VVZ CR n/a

Last Updated: 2026-02-05 15:29:30

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)
  • 09.04 Date 14:15-16:00 (CLA J 1)
2 h weekly

Offered In