Hasso-Plattner-Institut
Prof. Dr. Tobias Friedrich
 

20.05.2019

Paper invited to the IJCAI Sister Conference Best Paper Track

Since 2011, the International Joint Conference on Artificial Intelligence (IJCAI) has called the authors of outstanding scientific publications at selected partner venues to submit an extended abstract of their work to the IJCAI Sister Conference Best Paper Track. This year, Tobias Friedrich and Ralf Rothenberger of the AE group were invited to present their paper on the Sharpness of the Satisfiability Threshold for Non-Uniform Random k-SAT which received the 2018 Best Paper Award at the 21st International Conference on Theory and Applications of Satisfiability Testing (SAT).

  • Sharpness of the Satisfia... - Download
    Friedrich, Tobias; Rothenberger, Ralf Sharpness of the Satisfiability Threshold for Non-Uniform Random \(k\)-SAT.International Joint Conference on Artificial Intelligence (IJCAI) 2019: 6151–6155