[Sat] Satisfiability Checking alte Übungen &/oder Klausuren

Vorlesungen, Seminare und Praktika aus dem Bereich Theoretische Informatik (Abkürzungen)
Lectures, seminars and labs from the area Theoretical Foundations (Abbreviations)

Satisfiability Checking alte Übungen &/oder Klausuren

Beitragvon seb » 21.01.13 02:23

Hi Leute,

hat jemand von euch SAT gehört die letzten Jahre und kann noch mit alten Übungen dienen? Wäre echt super falls die noch jemand hat!

Viele Grüße,
Seb
seb
 
Beiträge: 52
Registriert: 16.10.09 17:15
Studiengang: Informatik (B.Sc.)
Studiert seit: WS 09/10
Anwendungsfach: BWL

Zurück zu Theoretische Informatik / Theoretical Foundations