Modelling Max-CSP as Partial Max-SAT.

Josep Argelich, Alba Cabiscol, Ins Lynce, Felip Many

Browse the full SAT paper archive.