Jump to main content
Theoretische Informatik
Research
Theoretische Informatik 

Research

My research interests include
  • Boolean Satisfiability (SAT)
  • Algorithms in general
  • Complexity theory

Publications

Social Media

Connect with Us: