"The Satisfiability Threshold for Non-Uniform Random 2-SAT."

Tobias Friedrich, Ralf Rothenberger (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics