Send to Friend
FromTo


Send to Friend from IIIA

Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT

Publication Type:

Journal Article

Authors:

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

Source:

Multiple-Valued Logic and Soft Computing, Volume 19, Issue 1-3, p.3-23 (2012)