Hasso-Plattner-Institut
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
     

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