XCSP3 Competition 2026（FLoC 2026併催）よりXCSP3 Competition 2026 Main CSP部門 優勝（Joint Winner）を受賞しました。(情報システム学専攻 宋 剛秀 准教授)
- 受賞日：2026-07-22
- 受賞名：XCSP3 Competition 2026 Main CSP部門 優勝（Joint Winner）
- 主催団体：XCSP3 Competition 2026（FLoC 2026併催）
- 受賞者の氏名、所属、職名（学年）：
宋 剛秀 (情報システム学専攻 准教授) - 受賞対象となった研究のテーマ：
SAT技術に基づく高性能CSP（制約充足問題）ソルバー「kat」の開発
- 受賞概要：
XCSP3 Competitionは，制約充足問題（Constraint Satisfaction Problem，CSP）を解くソルバーの性能を競う国際競技会であり，世界各国の研究機関や企業が開発した最先端のソルバーが参加します．2026年大会は，計算論理分野最大級の国際会議であるFLoC 2026（Federated Logic Conference）の併催行事としてポルトガル・リスボンで開催されました．
本競技会において，宋准教授が開発したCSPソルバー「kat」が，標準的な制約充足問題を対象とするMain CSP部門で最高成績を収め，優勝（Joint Winner）しました．本部門では，幅広いベンチマーク問題に対する解法の性能が総合的に評価されます．今回の受賞は，SAT符号化およびSATソルバーの技術を応用した高性能なCSPソルバーの研究開発が国際的に高く評価されたものです．
世界各国の最先端ソルバーが参加する国際競技会において最高成績を収めました．
- URL：
https://xcsp.org/competitions/