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 Wednesday May 31, 2023 @01:34AM (#36134833)
Just gotta keep on trucking. Either way, I would be interested in seeing how the 2XSAT reduction works. Don't get discouraged!
[ Parent | on HN ]

There are no comments on this comment yet.