Hasso-Plattner-Institut
Prof. Dr. Tobias Friedrich
  
 

All Publications in 2021

The following listing contains all publications of the current members of the Algorithm Engineering group in 2021.


Conference Publications

2021

  • The Impact of Heterogenei... - Download
    Bläsius, Thomas; Friedrich, Tobias; Göbel, Andreas; Levy, Jordi; Rothenberger, RalfThe Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability. Symposium on Discrete Algorithms (SODA) 2021
     

Journal Publications