@misc{indiciae280cccd89dec,
  title = {Branch-and-bound algorithm for efficient reliability analysis of general coherent systems},
  author = {Ji-Eun Byun and Hyeuk Ryu and Daniel Straub},
  year = {2024},
  url = {https://arxiv.org/abs/2410.22363},
  note = {Source identifier: 2410.22363}
}