Sequential Encodings from Max-CSP into Partial Max-SAT.

Josep Argelich, Alba Cabiscol, Ins Lynce, Felip Many

Browse the full SAT paper archive.