猛 安本

充足可能性問題(SAT問題) の解を導くためのソフトウェアである SAT Solver の速さを競い合う世界大会が毎年開かれています。 問題セットや制約などで、様々なトラックが分かれているのですが、 その2013年の大会の「Core Solvers, Sequential, MiniSAT Hack-track, Application SAT+UNSAT」というトラックで金メダルを取得しました。