Handling very large event trees by means of Binary Decision Diagrams

摘要

This article is about the various pre-processing techniques, computation algorithms and approximation schemes the authors develop to assess very large event trees coming from nuclear PSA. As a core algorithm, we use Binary Decision Diagrams.