Sibylle Möhle

From International Center for Computational Logic

Jump to:navigation, search

Dipl.-Inform. Sibylle Möhle

Former member

Sibylle Möhle

Former Research Associate in Research Group Knowledge Representation and Reasoning

Active Projects

PSAT
Parallel Satisfiability Testing

Retrieved from "https://iccl.inf.tu-dresden.de/w/index.php?title=Sibylle_Möhle/en&oldid=15044"