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