3 ms·
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
by abetusk 4mo 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 https://arxiv.org/abs/1706.08431
- kauai1 4mo agoits now an engine- HN doesnt alert me to comments so unless I check every hour every day I have no clue. https://ptsf-engine.vercel.app/ https://ptsf-engine.vercel.app/
- abetusk 4mo agoCan you give some context or references as to what the "universal separability signal" is? You may also want to add it to the vercel.app page.