703621 VO Practice of Decision Procedures
summer semester 2018 | Last update: 15.05.2018 | Place course on memo list703621
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
- Faculty of Mathematics, Computer Science and Physics
|
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 | |