4 ms·
> there is no parallel track and parallel solvers are disqualified [1] from participating. Maybe that's as much a cause as an effect. What's the incentive to
by tgflynn 3y ago
> there is no parallel track and parallel solvers are disqualified [1] from participating.
Maybe that's as much a cause as an effect. What's the incentive to create and improve parallel solvers if there's no place that evaluates and rewards your work ?
- zero_k 3y agoNo, 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.