@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}
}