@misc{indiciaeb38d57959008,
  title = {A SAT-based approach to rigorous verification of Bayesian networks},
  author = {Ignacy Stępka and Nicholas Gisolfi and Artur Dubrawski},
  year = {2024},
  url = {https://arxiv.org/abs/2408.00986},
  note = {Source identifier: 2408.00986}
}