Shin-ichi Minato Ken Satoh Taisuke Sato Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. 2550-2555 2007 conf/ijcai/2007 IJCAI http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-410.pdf db/conf/ijcai/ijcai2007.html#MinatoSS07