Sharpness of the Satisfiability Threshold for Non-uniform Random k-SAT

Theory and Applications of Satisfiability Testing – SAT 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94144-8_17 ◽

2018 ◽

pp. 273-291 ◽

Author(s):

Tobias Friedrich ◽

Ralf Rothenberger

Download Full-text