TY  - RPRT
TI  - The Satisfiability Threshold for Non-Uniform Random 2-SAT
AU  - Tobias Friedrich
AU  - Ralf Rothenberger
PY  - 2019
DO  - 10.4230/lipics.icalp.2019.61
UR  - https://arxiv.org/abs/1904.02027
ID  - 1904.02027
ER  -