ニュース / News

受賞

井上克巳 教授(情報学プリンシプル研究系)らが日本ソフトウェア科学会 第3回ソフトウェア論文賞を受賞

井上克巳 教授(情報学プリンシプル研究系)らが日本ソフトウェア科学会 第3回ソフトウェア論文賞を受賞しました。

受賞論文
「 GlueMiniSat 2.2.5: 単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー」
受賞者
鍋島 英知(山梨大学大学院 准教授)、岩沼 宏治(山梨大学大学院 教授)、井上 克巳(国立情報学研究所 教授)
2035

注目コンテンツ / SPECIAL