Duenas-Osorio, L.; Meel, K.; Paredes, R.; Vardi, M. Counting-Based Reliability Estimation for Power-Transmission Grids. AAAI 2017, 31.