S. Konieczny, J.-M. Lagniez, and P. Marquis, “SAT Encodings for Distance-Based Belief Merging Operators”, AAAI, vol. 31, no. 1, Feb. 2017.