3,581 followers
次に Blocked Path、すなわち不通となっているポイントを含めた送信元から送信先までの完全な経路について、SMT の制約を 3 種類に分類した上で Minimal Correction Subset (MCS) の段階的な計算に帰着させて解く Bayless S. 2021 の論文。前の論文の続編的な位置付けです。 https://t.co/fgI28lVe7B
次に Blocked Path、すなわち不通となっているポイントを含めた送信元から送信先までの完全な経路について、SMT の制約を 3 種類に分類した上で Minimal Correction Subset (MCS) の段階的な計算に帰着させて解く Bayless S. 2021 の論文。前の論文の続編的な位置付けです。 https://t.co/fgI28lVe7B
@vclaTUwien @FLoC2022 The first two: - https://t.co/pnK3N6mQfV - https://t.co/tvh0LOUYKe
Open Access UCL Research: Latticed k-Induction with an Application to Probabilistic Programs https://t.co/2Jc55KwzIR
RT @anshumanmo1: Paper at https://t.co/y5ZX7gWIwA Videos, slides, and code at https://t.co/XIv9EIW74c