Prof. Dr. Tobias Friedrich

Publications at SAT

Below you find the list of all publications of the Algorithm Engineering group presented at the International Conference on Theory and Applications of Satisfiability Testing (SAT).

[ 2021 ] [ 2018 ]

2021 [ nach oben ]

  • 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: 42-53

2018 [ nach oben ]

  • Sharpness of the Satisfia... - Download
    Friedrich, Tobias; Rothenberger, RalfSharpness of the Satisfiability Threshold for Non-Uniform Random k-SAT. Theory and Applications of Satisfiability Testing (SAT) 2018: 273-291
    Best Paper Award