TY - RPRT TI - Branch-and-bound algorithm for efficient reliability analysis of general coherent systems AU - Ji-Eun Byun AU - Hyeuk Ryu AU - Daniel Straub PY - 2024 UR - https://arxiv.org/abs/2410.22363 ID - 2410.22363 ER -