Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà. Encoding Max-CSP into Partial Max-SAT. In 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 22-23 May 2008, Dallas, Texas, USA. pages 106-111, IEEE Computer Society, 2008. [doi]
Abstract is missing.