Prof. Dr. Tobias Friedrich

Dr. Ralf Rothenberger

This is an archived page of a former group member.

Research Interests

My research interests include several topics of algorithmics and theoretical computer science.

  • graph theory
    • graph algorithms
    • random graphs
    • scale-free networks
  • satisfiability
    • random SAT models
    • phase transitions
    • proof complexity
  • algorithms
    • random algorithms
    • load balancing
    • approximation algorithms


As Advisor



Since 2017 I am a member of the HPI's board game club.

Past Activities:


Code and Tools

Power-Law Random SAT generator

The algorithm for this generator was proposed by Ansótegui et al. in "Towards industrial-like random SAT instances" (IJCAI 2009).
We used this generator for the experiments in "Phase Transitions for Scale-Free SAT Formulas" (AAAI 2017) and "Bounds on the Satisfiability Threshold for Power Law Distributed Random SAT" (ESA 2017).

The code of our implementation can be found here.



Sorry, the requested view was not found.

The technical reason is: No template was found. View could not be resolved for action "download" in class "AcademicPuma\ExtBibsonomyCsl\Controller\DocumentController".