A combination of exact algorithms for inference on Bayesian belief networks