SMT-Solving
Projektseminar im Wintersemester 2017/18
Hinweise
- Die Anmeldung findet bis zum 23. Juli 2017 über das Kursbuchungssystem 2 statt.
Ort und Zeit
- Erstes Treffen und Themenvergabe voraussichtlich am 9. August 2017 um 16:00 Uhr.
- Wöchentliches Treffen mit den Betreuern im Semester montags 14-16 Uhr im SRZ 114.
Material
- Die Folien aus der Vorbesprechung sind hier zu finden.
-
Buchkapitel: C. Barrett, R. Sebastiani, S. Seshia, and C. Tinelli. Satisfiability Modulo Theories.
- Talk: Albert Oliveras. Survey of satisfiability modulo theories (SMT)
- Leonardo de Moura, Bruno Dutertre, and Natarajan Shankar. A Tutorial on Satisfiability Modulo Theories. (paper, slides)
- The Internet