Sibylle Möhle
From International Center for Computational Logic
Dipl.-Inform. Sibylle Möhle
Former member

- Former Research Associate in Research Group Knowledge Representation and Reasoning
PSAT
Parallel Satisfiability Testing
PSAT
Parallel Satisfiability Testing