@techreport{weko_206292_1, author = "南出,大智 and 土屋,達弘", title = "SMTソルバを用いた電力システムにおける障害伝搬の解析手法の提案", year = "2020", institution = "大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科", number = "20", month = "jul" }