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


  1. 受賞日:2022-08-03
  2. 受賞名:Model Counting Competition 2022 Projected Model Counting 部門及び Projected Weighted Model Counting 部門 第1位
  3. 主催団体:Model Counting Competition 2022
  4. 受賞者の氏名、所属、職名(学年):
    橋本健二 (情報システム学専攻 助教)
    葉翔太 (情報システム学専攻 M2)
  5. 受賞概要:

    モデル計数に関する国際ソルバ競技会 (Model Counting Competition 2022) において,開発した投射モデル計数ソルバ GPMC が Projected Model Counting 部門及び Projected Weighted Model Counting 部門で第1位を獲得した.

  6. URL:
    https://mccompetition.org/

未分類受賞報告, 情報システム学専攻

Posted by k-hasimt@i.nagoya-u.ac.jp