News for hackers. Stuff that matters.

A comment on SAT-Physical Thermodynamic Framework: treating constraints as a thermal system.

Re:SAT-Physical Thermodynamic Framework: treating constraint... by abetusk on Tuesday June 09, 2026 @03:05PM (#48465978)
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

[ Parent | on HN ]
Re:SAT-Physical Thermodynamic Framework: treating constraint... by kauai1 on Friday June 12, 2026 @05:46PM (#48509812)
its 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/
[ Parent | on HN ]
Re:SAT-Physical Thermodynamic Framework: treating constraint... by abetusk on Friday June 12, 2026 @09:17PM (#48511318)
Can 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.

[ Parent | on HN ]