Seminar on exact algorithms

You again… Well. Tomorrow will be the big day. My talk in the seminar on exact algorithms is next. So I uploaded the final version of the presentation and the software used to visualize the results acquired during the talk. My main goals while creating the presentation was to include as much interaction with the audience as managable and as few spelling errors as possible.

• Upper Bounds for SAT - Presentation (.pdf)
• SAT Solver (.zip)