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 ]

  • Friedrich, Tobias; Neumann, Frank; Rothenberger, Ralf; Sutton, Andrew M. Solving Non-Uniform Planted and Filtered Random SAT Formulas Greedily. Theory and Applications of Satisfiability Testing (SAT) 2021
     

2018 [ nach oben ]

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