Olivier Bailleux Pierre Marquis Some Computational Aspects of distance-sat. 231-260 2006 37 J. Autom. Reasoning 4 http://dx.doi.org/10.1007/s10817-006-9063-9 db/journals/jar/jar37.html#BailleuxM06