Modelling Max-CSP as Partial Max-SAT (2008)

by Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà