https://123dok.net/document/y8g8n605-sat-encodings-for-distance-based-belief-merging-operators.html