703621 Practice of Decision Procedures

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

Graduates of this module know how to encode other problems in SAT/SMT/etc.

SAT-, PB- and SMT-Codings; Encoding non-linear arithmetic

Presentation of the theory and demonstration on examples.

Written Exam

Lecture slides contain pointers to further literature.

not applicable

None

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