MaxSAT2019

https://maxsat-evaluations.github.io/2019/

です。去年は、参加を見送ったのですが、今年は、どうしようかと思っています。今年は、ポルトガル、リスボンです。行ってみるのもいいかも。
それはともかく、ベンチマークも募集しているので、ナーススケジューリング問題をMAXSAT形式にして、送るのもありです。興味のある方は是非ご参加を。
　私の方は、新しいMaxSATの実装を完成させるのが第一優先です。これは、新しいソルバの一部になります。その後、関連特許出願して、実装評価する余裕があれば、ということになるので、時間的にまにあうかどうかはまだ分かりません。なお新たに設計したMaxSAT部のみ、現在のリリースに追加して、リリース予定です。