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 bmc7505 on Friday May 26, 2023 @11:28AM (#36085436)
Interesting. Do you have a link where I can read more about that? How does this relate to k-SAT or CNF complexity, isn't UP is complete w.r.t. these problems?
[ Parent | on HN ]

There are no comments on this comment yet.