3,513 followers
次に Blocked Path、すなわち不通となっているポイントを含めた送信元から送信先までの完全な経路について、SMT の制約を 3 種類に分類した上で Minimal Correction Subset (MCS) の段階的な計算に帰着させて解く Bayless S. 2021 の論文。前の論文の続編的な位置付けです。 https://t.co/fgI28lVe7B
Computer Aided Verification
Springer International Publishing