TY  - RPRT
TI  - Bounds on the Satisfiability Threshold for Power Law Distributed Random SAT
AU  - Tobias Friedrich
AU  - Anton Krohmer
AU  - Ralf Rothenberger
AU  - Thomas Sauerwald
AU  - Andrew M. Sutton
PY  - 2017
DO  - 10.4230/lipics.esa.2017.37
UR  - https://arxiv.org/abs/1706.08431
ID  - 1706.08431
ER  -