Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Lehre « Lehrmaterial


Projekt SATRIX (03-05-H-902.31) 

Veranstalter: Prof. Dr. Rolf Drechsler, Görschwin Fey und Daniel Große

Das Projekt SATRIX beschäftigt sich mit dem Erfüllbarkeitsproblem – oder kurz SAT von engl. satisfiability. Es soll der gesamte Ablauf von der Modellierung einer Fragestellung als SAT-Problem bis hin zur effizienten Lösung einer gegebenen Instanz betrachtet werden. Insbesondere sollen Fragestellungen aus dem Schaltkreisentwurf untersucht werden.



 Entnehmen Sie Angaben bezügl. Ort und Zeit bitte der Lehrveranstaltungs-Liste der Universität Bremen



[Folien (außer Übungsblätter) nur aus dem Campusnetz erreichbar]






zurück





English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt