703621 Practice of Decision Procedures

summer semester 2016 | Last update: 29.01.2016 Place course on memo list
Department of Computer Science Department of Computer Science
Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk, +43 512 507 53299
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.

None

http://cl-informatik.uibk.ac.at/teaching/ss16/dp/
see dates
Group 0
Export course dates of this group as iCalendar (.ics)
Help
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