小西　岳志、川原　純（京都大学　情報学研究科　准教授）、湊　真一（京都大学　情報学研究科　教授）が人工知能学会　研究会優秀賞を受賞しました。

「ZDDを用いた独立集合遷移問題の解空間グラフの直径をなす独立集合対の計算」