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


  • 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