日本から、3チームが出場したようです。
PB25 Pseudo-Boolean Competition 2025
名古屋大の酒井先生と山梨大の鍋島先生のチームが優勝されました。
その他にもPrintempsや今井さんも参加されたようです。
Pseudo boolean competition は、昔からあったように思いますが、しばらくお休みがあって、ここ最近復活したようです。最近の潮流は、MIPソルバの使用にあるように思います。
Maxsat competition については、今年はお休みです。一昨年と去年の解けた問題数の差異は、殆どなく誤差の範囲と言ってよいかもしれません。技術的進展がないと、研究者も敬遠するのかもしれません。
0 件のコメント:
コメントを投稿