News for hackers. Stuff that matters.

A comment on Why Sat Is Hard. Parent comment

Re:Why Sat Is Hard by stavros on Sunday February 26, 2023 @05:13AM (#34944428)
Still, a title of "why boolean satisfiability is hard" would eliminate the confusion without any downsides.
[ Parent | on HN ]

There are no comments on this comment yet.