703620 Theory of Decision Procedures

summer semester 2016 | Last update: 29.01.2016 Place course on memo list
703620
Theory of Decision Procedures
VO 2
4
weekly
every 2nd year
English

Graduates of this course have a good understanding of various decision procedures that are used in automated reasoning.

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).

Lecture, assessment is based on a single examination at the end of the course.

Course examination according to § 7, statute section on "study-law regulations"

The lecture slides contain pointers to the literature.

not applicable
see dates
Group 0
Date Time Location
Mon 2016-03-07
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2016-03-14
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2016-04-04
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2016-04-11
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2016-04-18
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2016-04-25
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2016-05-02
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2016-05-09
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2016-05-23
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2016-05-30
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2016-06-06
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2016-06-13
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2016-06-20
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2016-06-27
08.15 - 10.00 HS 11 HS 11 Barrier-free