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 @10:32AM (#36084671)
That’s SATComp, I was talking about the MAXSAT competition.
[ Parent | on HN ]

There are no comments on this comment yet.