Branch-and-bound algorithm for efficient reliability analysis of general coherent systems. - Ji-Eun Byun; Hyeuk Ryu; Daniel Straub (CoRR, 2024)