Seminar: Decision Procedures

Moderator: Automated Theorem Proving

bubel
Moderator
Moderator
Beiträge: 31
Registriert: 10. Apr 2012 11:21

Seminar: Decision Procedures

Beitrag von bubel » 7. Okt 2014 16:05

Hallo,

am Fachgebiet Software Engineering bieten wir dieses Semester das Seminar "Decision Procedures" an, in dem wir auf Techniken eingehen, die es helfen Probleme zu lösen in denen Theorien wie lineare und nicht-lineare Arithmetik, Bitvektoren usw. vorkommen.

Weitere Informationen unter:
https://www.se.tu-darmstadt.de/teaching ... rocedures/

Viele Grüße,
Richard

Zurück zu „Automated Theorem Proving“