Prof. Dr. Tobias Friedrich


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.

  • 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