@misc{indiciaecb01a47966d3,
  title = {The Satisfiability Threshold for Non-Uniform Random 2-SAT},
  author = {Tobias Friedrich and Ralf Rothenberger},
  year = {2019},
  doi = {10.4230/lipics.icalp.2019.61},
  url = {https://arxiv.org/abs/1904.02027},
  note = {Source identifier: 1904.02027}
}