max planck institut
mpii logo Minerva of the Max Planck Society

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



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

Tentative Schedule


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.


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

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


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


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


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

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