Principled network reliability approximation: A counting-based approach

Open Webpage

Roger Paredes, Leonardo Dueñas-Osorio, Kuldeep S. Meel, Moshe Y. Vardi

Published: 2019, Last Modified: 25 Jul 2025Reliab. Eng. Syst. Saf. 2019EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Highlights•Develops network reliability approximation with user-specified error and confidence.•Relies on a counting method and increasingly powerful satisfiability (SAT) solvers.•Discusses results of our method relative to several modern competitive techniques.•Showcases our capabilities using ideal networks and power transmission grids.