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