@InProceedings{KLM17,
author={Sébastien  Konieczny and Jean-Marie  Lagniez and Pierre  Marquis},
title= {SAT Encodings for Distance-Based Belief Merging Operators},
booktitle = {Thirty-first AAAI Conference on Artificial Intelligence (AAAI'17)} ,
pages = {1163-1169},
year= {2017}
}