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

Seminar SAT

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

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

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

Offered In