Proseminar "Decision Procedures based on SAT (Propositional Satisfiability) (2) 5LP" (WS 2007/2008), course number: CS300

Start

First Meeting: Tuesday, 23 October 2007, 1 pm s.t.

The Meeting takes place in Room 021, Building E1.4 (Max-Planck-Institute for Computer Science). We will present all themes during this meeting. You will have the possibility to choose your theme and also to contact your advisor.

When and Where

Introduction to SAT: Monday, 3 March 2008, 9-11 am, Room 024, Building E1.4
Download Slides
Presentation of the themes: Thursday, 13 March 2008, starting 9 am, Room 024, Building E1.4
Latest date to submit your written elaboration: Monday, 31 March 2008, 12pm

Tentative Schedule

9.00 - 9.45 DPLL-Theory, Steffen Lösch
9.45 - 10.30 DPLL-Implementation, Daniel Wand
10.45 - 11.30 DPLL-Implementation, Christoph Grün
11.30 - 12.15 Planning, Maria Luschkova

Prerequisites

Basic knowledge in theoretical computer science, in particular in logics might be usefull but is not necessary. An introduction to SAT will be given by us. You should be able to read english scientific articles. The presentation language is german, nevertheless you are encouraged to present in english.

Literature

The literature which will be used in the proseminar can be found here.

An introduction to presentation skills can be found here [german].

Registration

Please enroll yourself on our registration website. Don't forget to register with HISPOS since we are unable to do this automatically.

Grading

The grading is based on your oral presentation and a short written elaboration (maximum 5 pages, english). Latest date to submit your written elaboration: Monday, 31 March 2008, 12pm

Miscellaneous

TeX4PPT is a useful, free tool for creating math symbols and formulae in MS Powerpoint.

Presentation templates: LaTeX (based on seminar package), PowerPoint