Bailleuxand Marquis. Some Computational Aspects of Distance-sat. Springer Nature, Jan. 2007, doi:10.1007/s10817-006-9063-9.