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 zero_k on Friday May 26, 2023 @10:13AM (#36084436)
No, parallel SAT solvers are NOT disqualified, in fact there is a parallel track. Seriously? Every year there is a winner for the parallel track. Here's last year's:

https://satcompetition.github.io/2022/results.html

[ Parent | on HN ]
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 ]