703620 VO Theory of Decision Procedures

summer semester 2018 | Last update: 26.01.2018 Place course on memo list
703620
VO 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 2018-03-05
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-03-12
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-03-19
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-04-09
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-04-16
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-04-23
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-04-30
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-05-07
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-05-14
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-05-28
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-06-04
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-06-11
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-06-18
08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-06-25
08.15 - 10.00 HS 11 HS 11 Barrier-free