TOP > 新着情報 > XCSP3 Competition 2023より受賞名: 制約プログラミングに関する国際ソルバー競技会 (XCSP3 Competition 2023) Main CSP 部門 第2位を受賞しました。(情報システム学専攻 番原睦則 教授)

XCSP3 Competition 2023より受賞名: 制約プログラミングに関する国際ソルバー競技会 (XCSP3 Competition 2023) Main CSP 部門 第2位を受賞しました。(情報システム学専攻 番原睦則 教授)

  1. 受賞日：2023-08-30
  2. 受賞名：受賞名: 制約プログラミングに関する国際ソルバー競技会 (XCSP3 Competition 2023) Main CSP 部門 第2位
  3. 主催団体：XCSP3 Competition 2023
  4. 受賞者の氏名、所属、職名（学年）：
    番原睦則 (情報システム学専攻 教授)
  5. 共同受賞者：
    宋剛秀 (神戸大学・准教授，主開発者)
    Daniel Le Berre (CRIL-CNRS・教授)
    鍋島英知 (山梨大学・准教授)
    田村直之 (神戸大学・特命教授)
  6. 受賞対象となった研究のテーマ：
    SAT に基づく制約プログラミング
  7. 受賞概要：
    制約プログラミングに関する国際ソルバー競技会 (XCSP3 Competition 2023) において，開発したSAT型制約ソルバー Fun-sCOP が Main CSP 部門で第2位を獲得した．
  8. URL：
    http://xcsp.org/competitions/

PAGE TOP