News for hackers. Stuff that matters.

A comment on Why Sat Is Hard. Parent comment

Re:Why Sat Is Hard by groestl on Sunday February 26, 2023 @05:32AM (#34944503)
> But there was literally no hook for me to hold onto

Ahm, from the text: "Boolean satisfiability, or SAT is a decision problem where an input is a boolean formula like [...]"

[ Parent | on HN ]
Re:Why Sat Is Hard by doctor_eval on Sunday February 26, 2023 @07:57AM (#34945161)
Yeah but it appears ½ way down. I didn’t make it that far because I had no context.
[ Parent | on HN ]