Springe zum Hauptinhalt
Theoretische Informatik
Forschung
Theoretische Informatik 

Forschung

Meine Forschungsinteressen sind
  • Das Boolesche Erfüllbarkeitsproblem (SAT)
  • Algorithmen im Allgemeinen
  • Komplexitätstheorie

Veröffentlichungen