Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is encodings  [Clear All Filters]
2010
Argerlich J., Cabiscol A, Lynce I, Manyà F.  2010.  New Insights into Encodings from MaxCSP into Partial MaxSAT. 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL). :46-52.