SAT Encodings for Distance-Based Belief Merging Operators

Open in new window