L. Duenas-Osorio, K. Meel, R. Paredes, and M. Vardi, “Counting-Based Reliability Estimation for Power-Transmission Grids”, AAAI, vol. 31, no. 1, Feb. 2017.