Konieczny, S.; Lagniez, J.-M.; Marquis, P. SAT Encodings for Distance-Based Belief Merging Operators. AAAI 2017, 31.