DC研究会で発表しました

M1の南出くんが2020年7月31日に開催されたDC研究会において以下の題目で発表しました.
題目:”SMTソルバを用いた電力ネットワークにおける障害伝播の解析手法の提案”