Humboldt-Universität zu Berlin | Mathematisch-Naturwissenschaftliche Fakultät | Institut für Informatik | Komplexität und Kryptografie | Forschung | Forschungsprojekte Forschungsprojekte Aussagenlogische Beweiskomplexität und disjunkte NP-Paare (2) Frühere Forschungsprojekte