@misc{indiciae8b99ce7f73de,
  title = {Efficient multicut enumeration of k-out-of-n:F and consecutive k-out-of-n:F systems},
  author = {Fatemeh Mohammadi and Eduardo Saenz-de-Cabezon and Henry P. Wynn},
  year = {2017},
  url = {https://arxiv.org/abs/1712.08042},
  note = {Source identifier: 1712.08042}
}