G. Hardy;C. Lucet;N. Limnios
LaRIA, Amiens, FRANCE;LaRIA, Amiens, FRANCE;LMAC, UTC, FRANCE
The complexity of reliability computations in planar and acyclic graphs
SIAM Journal on Computing
In this paper, we report experiments we did on network reliablity with the BDD-based exact method we present in [1].