擬ブールソルバ競技会（Pseudo-Boolean Competition 2025)よりDEC-LIN 部門 第1位を受賞しました。(情報システム学専攻 酒井 正彦 教授)
- 受賞日：2025-08-14
- 受賞名：DEC-LIN 部門 第1位
- 主催団体：擬ブールソルバ競技会（Pseudo-Boolean Competition 2025)
- 受賞者の氏名、所属、職名（学年）：
酒井 正彦 (情報システム学専攻 教授)
- 連名者：
鍋島 英知（山梨大学、准教授）
- 受賞対象となった研究のテーマ：
擬ブール問題解決ソルバ SCIP-NaPS
- 受賞概要：
擬ブールソルバに関する国際競技会（Pseudo-Boolean Competition 2025)において、作成したソルバ SCIP-NaPS が、DEC-LIN 部門で36ソルバ中の第1位を獲得した。その他、OPT-LIN 部門で36ソルバ中の第6位を獲得した。
- URL：
https://www.cril.univ-artois.fr/PB25/