Abgeschlossene Projekte
Aus International Center for Computational Logic
Abgeschlossene Projekte
Coprocessor
Formelvereinfachungen für CNF (SAT), QBF, MaxSAT und MUS Formeln
ICCL-SS-2015
ICCL Summer School 2015: Reasoning
Riss
SAT Solver - ein Programm, welches das Erfüllbarkeitsproblem löst