Tobias Friedrich 0001, Anton Krohmer, Ralf Rothenberger, Thomas Sauerwald, Andrew M. Sutton. Bounds on the Satisfiability Threshold for Power Law Distributed Random SAT. In Kirk Pruhs, Christian Sohler, editors, 25th Annual European Symposium on Algorithms, ESA 2017, September 4-6, 2017, Vienna, Austria. Volume 87 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]
Abstract is missing.