プレスリリースしました。

プレスリリースしました。

MaxSATについては、ここ１-２年進歩があまり無いのですが、MaxSATcommunityにささやかながら少し貢献できたのかもしれません。そもそも、NP-困難なところの最適化に（いかにSATソルバーが強力とはいえども）booleanで何とかしようというのは、多分誰が考えても無理があるような気がするのですが、意外に行ける分野があるんですね。スケジュールナースでは、この技術を応用してさらに高い最適化を極めたいと思っております。