Abgeschlossene Projekte

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Abgeschlossene Projekte

Coprocessor
Formelvereinfachungen für CNF (SAT), QBF, MaxSAT und MUS Formeln

Riss
SAT Solver - ein Programm, welches das Erfüllbarkeitsproblem löst