M1の南出くんが2020年7月29日から31日にかけて開催された2020年並列／分散／協調処理に関する『福井』サマー・ワークショップ (SWoPP2020)において以下の題目で発表を行いました． 題目：SMTソルバを用いた電力ネットワークにおける障害伝播の解析手法の提案
