ユニットコミットメントのための分枝限定アルゴリズム | Synapse