Send to Friend
FromTo


Send to Friend from IIIA

Sequential Encodings from Max-CSP into Partial Max-SAT

Publication Type:

Conference Paper

Authors:

J. Argerlich; Alba Cabiscol; Ines Lynce; Felip Manyà

Source:

12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009), Volume LNCS 5584, Swansea, UK, p.161-166 (2009)