Call for Participation: MAXSAT Evaluation 2019
The MaxSAT Evaluation 2019 is coming up soon! We have extended the deadline for submitting benchmarks and solvers for the MaxSAT Evaluation 2019 to Friday, June 7, 2019.
The final version of your solver must be uploaded to the following subspaces (depending on the category you want to participate):
More details on the final submission are available at: https://maxsat-evaluations.github.io/2019/submission.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 MaxSAT Evaluation. New benchmarks are critical for the continuous improvement of MaxSAT solvers and to perform a better assessment of their performance.