3 ms·
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 ye
by zero_k 3y ago
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 https://satcompetition.github.io/2022/results.html
- bmc7505 3y agoThat’s SATComp, I was talking about the MAXSAT competition.