Pseudo Boolean Competition 2024
８年ぶりにcompetitionが再開されました。この理由として、２０１６年の参加者が殆どいなかったこと、Jakob Nordstr¨ omさんが、強固に開催を主張したこと、が挙げられています。
参加者としては、CAI教授系中国チーム、RoundingSAT系、Exact系、SCIP系、そして、名古屋大酒井先生です。2016年来の進歩としては、RoundingSAT系のcutting proofがあるのですが、それなしのNAPSと比べると、それほど差がついているようには見えないというのが意外でした。
PB24 Pseudo-Boolean Competition 2024
いずれにせよ、今後の方向性としては、RoundingSATをベースとしたものになると思います。私も、この発想を取り入れようかと思っています。
0 件のコメント:
コメントを投稿