News for hackers. Stuff that matters.

A comment on The Silent (R)evolution of SAT. Parent comment

Re:The Silent (R)evolution of SAT by klyrs on Saturday May 27, 2023 @12:58AM (#36092189)
You're not wrong, but it still only works for the most naive algorithm.
[ Parent | on HN ]

There are no comments on this comment yet.