東京大学大学院 情報理工学系研究科 稲葉真理研究室

SAT solver 開発中。
OB の薗部さんが 開発した CIR_MiniSAT が　2011 年 6 月に、ミシガン大学で開催された SAT conference SAT competition MiniSAT hack 部門で金メダル受賞、総合・アプリケーション・SAT部門でも銀メダルでした。
現在は博士課程の Moon さんと修士課程の戸ヶ崎さんが並列SAT solver の研究をしています。