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).

You can view all publications of the current members of the Algorithm Engineering group. For other listings, please see:

[ 2018 ]

2018 [ to top ]

  • 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