TOP > 新着情報 > Model Counting Competition 2023よりProjected Weighted Model Counting 部門 第1位を受賞しました。(情報システム学専攻 橋本健二 助教)

Model Counting Competition 2023よりProjected Weighted Model Counting 部門 第1位を受賞しました。(情報システム学専攻 橋本健二 助教)

  1. 受賞日：2023-07-07
  2. 受賞名：Projected Weighted Model Counting 部門 第1位
  3. 主催団体：Model Counting Competition 2023
  4. 受賞者の氏名、所属、職名（学年）：
    橋本健二 (情報システム学専攻 助教)
  5. 受賞対象となった研究のテーマ：
    GPMC
  6. 受賞概要：
    モデル計数に関する国際ソルバ競技会 (Model Counting Competition 2023) において，開発した投射モデル計数ソルバ GPMC が Projected Weighted Model Counting 部門 Ranking A:Exact(arb) で第1位を獲得した．その他3部門においても3位以内に入賞した．
  7. URL：
    https://mccompetition.org/

PAGE TOP