« November 2019 »
November
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
252627282930
Uni-Logo
You are here: Home Teaching Winter Term 2019/20 Decision Procedures (Lecture) Exercises
Document Actions

Exercises

Exercise sheet 1
submit until October 29, 2019
Exercise sheet 2
submit until November 5, 2019
Example script for sheet 2
Example for SMT-LIB 2 syntax
Exercise sheet 3
submit until November 12, 2019
Personal tools