Found 1 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: keyword is encodings  [Clear All Filters]
2010
J. Argerlich; Alba Cabiscol; Ines Lynce; Felip Manyà "New Insights into Encodings from MaxCSP into Partial MaxSAT", 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL), Barcelona, IEEE Computer Society, pp. 46-52, 2010.
Export: Tagged - XML - BibTex