Abgeschlossene Projekte
Aus International Center for Computational Logic
Abgeschlossene Projekte
Coprocessor
Formelvereinfachungen für CNF (SAT), QBF, MaxSAT und MUS Formeln
EMCL (offered until 2017)
European Master's Program in Computational Logic
GoAsQ
Generating and Answering Ontological Queries
HAEC
Highly Adaptive Energy-Efficient Computing (Sonderforschungsbereich 912)
HAEC B02
Semantic Technology for Context Awareness (HAEC Project B02)
HAEC B08
High-Capacity Knowledge Processing Pipeline (HAEC Teilprojekt B08)
ICCL-SS-2015
ICCL Summer School 2015: Reasoning
PSAT
Paralleles Lösen des Erfüllbarkeitproblems
Riss
SAT Solver - ein Programm, welches das Erfüllbarkeitsproblem löst
SOA-VBQP
Der Second-Order Ansatz und dessen Anwendung in der Sicht-basierten Anfrageverarbeitung