TOP > 新着情報 > 擬ブールソルバ競技会（Pseudo-Boolean Competition 2025)よりDEC-LIN 部門 第1位を受賞しました。(情報システム学専攻 酒井 正彦 教授)

擬ブールソルバ競技会（Pseudo-Boolean Competition 2025)よりDEC-LIN 部門 第1位を受賞しました。(情報システム学専攻 酒井 正彦 教授)

 

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

 

PAGE TOP