Abgeschlossene Projekte

Aus International Center for Computational Logic

Wechseln zu:Navigation, Suche

Abgeschlossene Projekte

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

http://tools.computational-logic.org

ICCL-SS-2015
ICCL Summer School 2015: Reasoning

https://iccl.inf.tu-dresden.de/web/SummerSchool2015

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

http://tools.computational-logic.org

Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Abgeschlossene_Projekte&oldid=3179“