[IEEE 2010 40th IEEE International Symposium on Multiple-Valued Logic - Barcelona, Spain (2010.05.26-2010.05.28)] 2010 40th IEEE International Symposium on Multiple-Valued Logic - New Insights into Encodings from MaxCSP into Partial MaxSAT
Argelich, Josep, Cabiscol, Alba, Lynce, Inês, Manyà, FelipYear:
2010
Language:
english
DOI:
10.1109/ismvl.2010.17
File:
PDF, 263 KB
english, 2010