Fast algorithms for Dempster-Shafer theory · Study