|
|
|
|
|
|
by abetusk
2 days ago
|
|
|
As others mentioned, the link is broken. A quick look at the author's GitHub or HN profile doesn't have anything jump out at me. I will mention that there was a paper from 2017 on "Bounds on the Satisfiability Threshold for Power Law Distributed Random SAT" that constructed what looks very nearly like a phase diagram for satisfiable instances of SAT. [0] https://arxiv.org/abs/1706.08431 |
|
|