SAT-Solving: Theory, Tools and Applications

News | Inhalt | Benotung | Zeitplan | Material

Vorbesprechung

Die Folien zur Vorbesprechung gibt es hier.

Themenliste

Alle Grundlagenvorträge müssen vergeben werden. Die Folien zur Vorbesprechung enthalten Details zu den Themen.

Grundlagen

Allgemeine Einführung

• Cook-Levin Theorem, Karp's 21 Problems (2 Personen) Link
• Resolution Link
• DPLL (2 Personen) Link(erste Hälfte)

Vertiefungsvorträge

• Lazy SMT Link(zweite Hälfte)
• Eager SMT
• BDDs Link
• Tools
• Spezialfälle von SAT Link
• Lösungsheuristiken

Anwendungen

• Bounded Model Checking Link
• Planung Link
• Programmsynthese Link