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 [ to top ]

  • Solving Non-Uniform Plant... - Download
    Friedrich, Tobias; Neumann, Frank; Rothenberger, Ralf; Sutton, Andrew M. Solving Non-Uniform Planted and Filtered Random SAT Formulas GreedilyTheory and Applications of Satisfiability Testing (SAT) 2021: 188–206
     

2018 [ to top ]

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