About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Courses in Summer Term 2015  -  SAT-Solving


Course title:   SAT-Solving

Lecturer:   Prof. Steffen Hölldobler

Module:   MCL-KR, MCL-PI

Status:   advanced unit

SWS (lecture/tutorial/practical):   2/2/0

Examination method:   to be announced

Prerequisites:

Course Description:

The course is concerned with the satisfiability (SAT) problem in propositional logic. After an introduction to the problem I will discuss stochastic as well as systematic SAT solvers in detail. Thereafter, I will focus on implementation issues for systematic SAT solvers. Towards the end I will discuss combinations of stochastic and systematic solvers. The course concerns all issues from the logic and calculus level via the data structure and heuristics level up to the memory level.

References:

Additional Information: