@misc{indiciae0de492937cca,
  title = {Using ROBDDs for Inference in Bayesian Networks with Troubleshooting as an Example},
  author = {Thomas D. Nielsen and Pierre-Henri Wuillemin and Finn Verner Jensen and Uffe Kjærulff},
  year = {2013},
  url = {https://arxiv.org/abs/1301.3880},
  note = {Source identifier: 1301.3880}
}