It is based on calculating the expected value and the variance of the top-event probability by means of Binary Decision Diagrams (BDD). This method allows an accurate computation of both the expected ...

This method's success depends on the ordering of the variables in the binary decision diagram (BDD). An alternative data structure, and one that is more compact than a BDD, called a max literal factor ...