en | de

Automatic Deduction – Theory of Decision Procedures

master program

VO2  SS 2012  703522

Description

The course provides an introduction to some of the theories and decision procedures that are used in automated reasoning. The focus will be on satisfiability modulo theories (SMT).

Schedule

date slides
07.03 (08:15 - 10:00) pdf (1x1, 4x1)
07.03 (13:15 - 15:00) pdf (1x1, 4x1)
14.03 no lecture
21.03 pdf (1x1, 4x1)
28.03 pdf (1x1, 4x1)
18.04 pdf (1x1, 4x1)
25.04 pdf (1x1, 4x1)
02.05 (08:15 - 10:00) pdf (1x1, 4x1)
02.05 (13:00 - 14:45) pdf (1x1, 4x1)
09.05 pdf (1x1, 4x1)
16.05 pdf (1x1, 4x1)
23.05 pdf (1x1, 4x1)
30.05 no lecture
06.06 pdf (1x1, 4x1)
13.06 pdf (1x1, 4x1)
20.06 pdf (1x1, 4x1)
27.06 exam