例によって、提出納期が延期になりました。
私は、今年も、都合がつかず参加しませんが、ベンチマークも募集しているので、プロジェクトを
提供してもよい方は、お知らせください。(私の方でMaxSAT FORMAT(WCNF形式)に変換可能です。)
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.
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.
0 件のコメント:
コメントを投稿