Hasso-Plattner-Institut
Prof. Dr. Tobias Friedrich
  
 

03.04.2018

Paper accepted at SAT

The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the primary annual meeting for researchers studying the propositional satisfiability problem (SAT), a prominent problem in both theoretical and applied computer science. This year, the conference will be held from July 9 to 12 in Oxford, England. The Algorithm Engineering group contributes one paper.

  • sharp_SAT_final.pdf
    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