HOME | CONTACT

Logo Universtity of Bremen
LOGO AGRA | AG Rechnerarchitektur



Group of Computer Architecture / AGRA | Computer Science | Faculty 03 | University of Bremen
Only available in German

Projekt SATRIX (03-902.31)
P |

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.



©2023 | Group of Computer Architecture | Contact | Legal & Data Privacy