Approximate algorithms for credal networks with binary variables