703621 VO Practice of Decision Procedures

summer semester 2018 | Last update: 15.05.2018 Place course on memo list
703621
VO Practice of Decision Procedures
VO 1
2
weekly
every 2nd year
English

Graduates of this module know several decision procedures and are able to apply them to concrete problem instances.

  • SAT-encodings
  • equality logic
  • equational unification
  • nonreachability

Presentation of the theory and demonstration on examples.

Written Exam

Lecture slides contain pointers to further literature.

None

see dates
Group 0
Date Time Location
Mon 2018-03-05
10.00 - 11.00 HS 11 HS 11 Barrier-free
Mon 2018-03-12
10.00 - 11.00 HS 11 HS 11 Barrier-free
Mon 2018-03-19
10.00 - 11.00 HS 11 HS 11 Barrier-free
Mon 2018-04-09
10.00 - 11.00 HS 11 HS 11 Barrier-free
Mon 2018-04-16
10.00 - 11.00 HS 11 HS 11 Barrier-free
Mon 2018-04-23
10.00 - 11.00 HS 11 HS 11 Barrier-free
Mon 2018-04-30
10.00 - 11.00 HS 11 HS 11 Barrier-free
Mon 2018-05-07
10.00 - 11.00 HS 11 HS 11 Barrier-free
Mon 2018-05-14
10.00 - 11.00 HS 11 HS 11 Barrier-free
Mon 2018-05-28
10.00 - 11.00 HS 11 HS 11 Barrier-free
Mon 2018-06-04
10.00 - 11.00 HS 11 HS 11 Barrier-free
Mon 2018-06-11
10.00 - 11.00 HS 11 HS 11 Barrier-free
Mon 2018-06-18
10.00 - 11.00 HS 11 HS 11 Barrier-free