新着情報
薗部さんの CIR_MiniSAT が SAT competition MiniSAT Hack で金メダルを受賞しました。
"CIR_MiniSAT" (薗部さんの研究成果を実装した SAT solver) が SAT competition の MiniSAT Hack 部門で金メダルを受賞しました。また、CIR_MiniSAT は、同時に総合部門のアプリケーション 充足課題で銀メダルを受賞しました。東京大学大学院 情報理工学系研究科 稲葉真理研究室
本文へジャンプ
"CIR_MiniSAT" (薗部さんの研究成果を実装した SAT solver) が SAT competition の MiniSAT Hack 部門で金メダルを受賞しました。また、CIR_MiniSAT は、同時に総合部門のアプリケーション 充足課題で銀メダルを受賞しました。