Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is E and Author is Ines Lynce  [Clear All Filters]
Journal Article
Argerlich J., Cabiscol A, Lynce I, Manyà F.  2012.  Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. Multiple-Valued Logic and Soft Computing. 19:3-23.