2018年4月21日土曜日

MaxSat Evaluation 2019 Call for Participation

去年参加したので、主催者様から、ご案内を頂きました。(なぜかタイトルが2019になっていますが。)

現在、私は、新しい発想のソルバを検証中なのですが、MaxSATの形で入れ込むには、時間が足りないので今年は、参加を見送ります。

最近、MAXSAT Communityの性能向上は、停滞ぎみなので、新規参入には良いチャンスです。

*MaxSAT Evaluation 2018 (MSE-2018)*
*Call for Participation*
Submissions Deadline: *May 31st, 2018*
Results disclosed in July 2018 at Sat-2018, Oxford, UK
The MaxSat Evaluation is designed to provide a snapshot of current
progress in solving MaxSat by running submitted MaxSat solvers on a
heterogenous collection of benchmark instances.
MSE 2018 will be the 13th annual MaxSat Evaluation. We
welcome contributions of two types from the community at large:
a) New MaxSAT benchmarks encoding instances of interesting
     NP-hard optimization problems, and
b) implementations of MaxSAT solvers that will be evaluated
    within MSE 2018 on a heterogenous collection of benchmarks.
Please visit
https://maxsat-evaluations.github.io/2018/
For more information, and details about participating.
  We look forward to your participation
  MSE-2018 organizing committee


0 件のコメント:

コメントを投稿