MaxSAT2020案内が届きました。

今年は、SAT　conferenceがオンライン開催になったので、MAXSATもそうだと思います。
今年は、新しいカテゴリとして、TOP　Kというのが創設されました。元々、OR系であったので、
その類型だと思います。

Dear all,
The MaxSAT Evaluation 2020 is coming up soon!
We have extended the deadline for submitting benchmarks and solvers
for the MaxSAT Evaluation 2020 to Friday, June 12, 2020.
The final version of your solver must be uploaded to the following
subspaces (depending on the category you want to participate):
- MSE2020->Evaluation->Complete->Unweighted
- MSE2020->Evaluation->Complete->Weighted
- MSE2020->Evaluation->Incomplete->Unweighted
- MSE2020->Evaluation->Incomplete->Weighted
- MSE2020->Evaluation->TopK->Unweighted
- MSE2020->Evaluation->TopK->Weighted
More details on the final submission are available at:
https://maxsat-evaluations.github.io/2020/submission.html
We have a new track this year to enumerate the top-k solutions. We
encourage you to submit to this track if you can change your current
algorithm to support the enumeration of solutions. More information
about this track is available at:
https://maxsat-evaluations.github.io/2020/topk.html
So far we did not receive many new benchmarks. If you are using MaxSAT
to solve problems, we encourage you to submit your formulas to this
year's MaxSAT Evaluation. New benchmarks are critical for the
continuous improvement of MaxSAT solvers and to perform a better
assessment of their performance.
Best regards,
The MaxSAT 2020 organizers