TY  - RPRT
TI  - A SAT-based approach to rigorous verification of Bayesian networks
AU  - Ignacy Stępka
AU  - Nicholas Gisolfi
AU  - Artur Dubrawski
PY  - 2024
UR  - https://arxiv.org/abs/2408.00986
ID  - 2408.00986
ER  -